add context_pruning to another .fst.config.json file

FStarLang · Sep 5, 2024 · 90ce81a · 90ce81a
1 parent 3668e72
commit 90ce81a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/pulse/Pulse.fst.config.json b/lib/pulse/Pulse.fst.config.json
@@ -2,7 +2,8 @@
 	"fstar_exe": "fstar.exe",
 	"options": [
 		"--query_cache",
-		"--load_cmxs", "pulse"
+		"--load_cmxs", "pulse",
+		"--ext", "context_pruning"
 	],
 	"include_dirs": [
 		"c",