Skip to content

Commit

Permalink
Move usual_stable.v to misc/
Browse files Browse the repository at this point in the history
  • Loading branch information
pi8027 committed Jun 7, 2024
1 parent 924bf1a commit 03bb7e4
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 1 deletion.
1 change: 0 additions & 1 deletion Make
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
theories/param.v
theories/stablesort.v
theories/usual_stable.v

-R theories stablesort

Expand Down
1 change: 1 addition & 0 deletions Make.misc
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
misc/topdown_tailrec.v
misc/usual_stable.v

-R theories stablesort
-R misc stablesort.misc
Expand Down
File renamed without changes.

0 comments on commit 03bb7e4

Please sign in to comment.