Util refactor (#33)

* moving Util files from games to coqtbgen * more util cleanup
emarzion · Apr 2, 2024 · 10e22d8 · 10e22d8
1 parent ecc68cd
commit 10e22d8
Show file tree

Hide file tree

Showing 2 changed files with 416 additions and 0 deletions.
diff --git a/bin/gen/ExtractRomanWheel.v b/bin/gen/ExtractRomanWheel.v
@@ -15,4 +15,6 @@ Require Import TBGen.Bear.BearGame.
 Require Import TBGen.Bear.RomanWheel.
 Require Import TBGen.TB.TB.
 
+Set Warnings "-extraction-default-directory".
+
 Extraction "TBGen.ml" RW_TB.