diff options
Diffstat (limited to 'tests/misc/NoNestedBorrows.fst')
| -rw-r--r-- | tests/misc/NoNestedBorrows.fst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/misc/NoNestedBorrows.fst b/tests/misc/NoNestedBorrows.fst index 2a06fd76..ef4a9f82 100644 --- a/tests/misc/NoNestedBorrows.fst +++ b/tests/misc/NoNestedBorrows.fst @@ -3,7 +3,7 @@ module NoNestedBorrows open Primitives -#set-options "--z3rlimit 50 --fuel 0 --ifuel 1" +#set-options "--z3rlimit 50 --fuel 1 --ifuel 1" (** [no_nested_borrows::Pair] *) type pair_t (t1 t2 : Type0) = { pair_x : t1; pair_y : t2; } |