From 90ce81a9a71b29cd2716cde8f2489addb083e30e Mon Sep 17 00:00:00 2001
From: Nikhil Swamy <nikswamy@users.noreply.github.com>
Date: Thu, 5 Sep 2024 15:34:18 -0700
Subject: [PATCH] add context_pruning to another .fst.config.json file

---
 lib/pulse/Pulse.fst.config.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/pulse/Pulse.fst.config.json b/lib/pulse/Pulse.fst.config.json
index 7055ae038..d37c87599 100644
--- 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",