Add missing module to extraction.mk

FStarLang · Dec 27, 2024 · b7a6840 · b7a6840
1 parent ec1a15b
commit b7a6840
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mk/extraction.mk b/mk/extraction.mk
@@ -9,7 +9,7 @@ CODEGEN := Plugin
 ROOTS := $(shell find $(SRC) -name '*.fst' -o -name '*.fsti')
 FSTAR_OPTIONS += --include $(FSTAR_HOME)/src
 FSTAR_OPTIONS += --include $(FSTAR_HOME)/src/.cache.boot
-EXTRACT += --extract '-*,+ExtractPulse,+ExtractPulseC'
+EXTRACT += --extract '-*,+ExtractPulse,+ExtractPulseC,+ExtractPulseOCaml'
 FSTAR_OPTIONS += --lax --MLish --MLish_effect FStarC.Compiler.Effect
 
 DEPFLAGS += --already_cached 'FStarC'