summaryrefslogtreecommitdiff
path: root/fstar
diff options
context:
space:
mode:
authorSon Ho2022-02-03 22:53:54 +0100
committerSon Ho2022-02-03 22:53:54 +0100
commit88608b517e3a3fb556155440a4e2908b414c9826 (patch)
tree296d8957c1c4f09322c9490c1b414afb17869b49 /fstar
parentf6cad578be588004b0f643083b0ea1274c389462 (diff)
Make minor modifications
Diffstat (limited to '')
-rw-r--r--fstar/Primitives.fst2
1 files changed, 1 insertions, 1 deletions
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 =