From d53ababcedbe2e6a1c506a8213b316e57edb52b7 Mon Sep 17 00:00:00 2001
From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
Date: Wed, 25 Dec 2024 10:06:25 +0000
Subject: [PATCH] change z3 version to 4.13.3

---
 krmllib/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/krmllib/Makefile b/krmllib/Makefile
index 83f79fd5..5eeae721 100644
--- a/krmllib/Makefile
+++ b/krmllib/Makefile
@@ -84,7 +84,7 @@ obj:
 	mkdir $@
 
 %.checked: | obj
-	$(FSTAR) $(OTHERFLAGS) $< && \
+	$(FSTAR)  --z3version 4.13.3 $(OTHERFLAGS) $< && \
 	touch $@
 
 verify-all: $(ALL_CHECKED_FILES)