From cc08ab295986c73c11962791c63dcca30361152a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 27 Dec 2024 16:05:34 -0800
Subject: [PATCH] lib.mk: use Z3 4.13.3

---
 mk/lib.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mk/lib.mk b/mk/lib.mk
index 61936c00bcb..63ab10ed84c 100644
--- 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 += --z3version 4.13.3
 
 FSTAR_OPTIONS += --no_default_includes
 FSTAR_OPTIONS += --include $(SRC)