From 7dce6eaffaa4169fab822d833e32b593ad867588 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 6 May 2022 15:53:52 +0200
Subject: Update the extraction to set the fuel to 1 in the Z3 options

---
 tests/misc/BetreeNll.fst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/misc/BetreeNll.fst')

diff --git a/tests/misc/BetreeNll.fst b/tests/misc/BetreeNll.fst
index 14c1d2ba..b548a18b 100644
--- a/tests/misc/BetreeNll.fst
+++ b/tests/misc/BetreeNll.fst
@@ -3,7 +3,7 @@
 module BetreeNll
 open Primitives
 
-#set-options "--z3rlimit 50 --fuel 0 --ifuel 1"
+#set-options "--z3rlimit 50 --fuel 1 --ifuel 1"
 
 (** [betree_nll::List] *)
 type list_t (t : Type0) =
-- 
cgit v1.2.3