Remove more --extract_module

FStarLang · Feb 19, 2025 · b651b0c · b651b0c
1 parent 976b8a0
commit b651b0c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/test/sepcomp/a/Makefile b/test/sepcomp/a/Makefile
@@ -112,8 +112,7 @@ obj:
 
 .PRECIOUS: obj/%.ml
 obj/%.ml:
-	$(FSTAR) $< --codegen OCaml \
-	--extract_module $(basename $(notdir $(subst .checked,,$<)))
+	$(FSTAR) $< --codegen OCaml
 
 # By default, krml extraction in F* will extract every module into a
 # single out.krml file. Make sure to extract the single module we want

diff --git a/test/sepcomp/b/Makefile b/test/sepcomp/b/Makefile
@@ -114,8 +114,7 @@ obj:
 
 .PRECIOUS: obj/%.ml
 obj/%.ml:
-	$(FSTAR) $< --codegen OCaml \
-	--extract_module $(basename $(notdir $(subst .checked,,$<)))
+	$(FSTAR) $< --codegen OCaml
 
 # By default, krml extraction in F* will extract every module into a
 # single out.krml file. Make sure to extract the single module we want