From 88608b517e3a3fb556155440a4e2908b414c9826 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 22:53:54 +0100
Subject: Make minor modifications

---
 fstar/Primitives.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'fstar')

diff --git a/fstar/Primitives.fst b/fstar/Primitives.fst
index 1b3972cc..6771fe93 100644
--- a/fstar/Primitives.fst
+++ b/fstar/Primitives.fst
@@ -2,7 +2,7 @@
 module Primitives
 open FStar.Mul
 
-#set-options "--z3rlimit 50 --fuel 0 --ifuel 1"
+#set-options "--z3rlimit 15 --fuel 0 --ifuel 1"
 
 (*** Result *)
 type result (a : Type0) : Type0 =
-- 
cgit v1.2.3