lib.mk: enable context pruning

FStarLang · Dec 28, 2024 · 17c3425 · 17c3425
1 parent cc08ab2
commit 17c3425
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mk/lib.mk b/mk/lib.mk
@@ -22,6 +22,7 @@ FSTAR_OPTIONS += --odir "$(OUTPUT_DIR)"
 FSTAR_OPTIONS += --use_hints
 FSTAR_OPTIONS += --hint_dir $(SRC)/.hints
 FSTAR_OPTIONS += --warn_error -333 # Do not warn about missing hints
+FSTAR_OPTIONS += --ext context_pruning
 FSTAR_OPTIONS += --z3version 4.13.3
 
 FSTAR_OPTIONS += --no_default_includes