From 03bb7e418e14fb6c6150e06664ee8833367aad72 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Fri, 7 Jun 2024 15:02:33 +0200
Subject: [PATCH] Move usual_stable.v to misc/

---
 Make                              | 1 -
 Make.misc                         | 1 +
 {theories => misc}/usual_stable.v | 0
 3 files changed, 1 insertion(+), 1 deletion(-)
 rename {theories => misc}/usual_stable.v (100%)

diff --git a/Make b/Make
index 405ae44..d80a76b 100644
--- a/Make
+++ b/Make
@@ -1,6 +1,5 @@
 theories/param.v
 theories/stablesort.v
-theories/usual_stable.v
 
 -R theories stablesort
 
diff --git a/Make.misc b/Make.misc
index 413c93c..6335e09 100644
--- a/Make.misc
+++ b/Make.misc
@@ -1,4 +1,5 @@
 misc/topdown_tailrec.v
+misc/usual_stable.v
 
 -R theories stablesort
 -R misc stablesort.misc
diff --git a/theories/usual_stable.v b/misc/usual_stable.v
similarity index 100%
rename from theories/usual_stable.v
rename to misc/usual_stable.v