diff options
Diffstat (limited to 'tests/hashmap/Hashmap.Clauses.fst')
| -rw-r--r-- | tests/hashmap/Hashmap.Clauses.fst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tests/hashmap/Hashmap.Clauses.fst b/tests/hashmap/Hashmap.Clauses.fst index ef7793f1..81727b5a 100644 --- a/tests/hashmap/Hashmap.Clauses.fst +++ b/tests/hashmap/Hashmap.Clauses.fst @@ -6,10 +6,6 @@ open Hashmap.Types #set-options "--z3rlimit 50 --fuel 0 --ifuel 1" -(*** Utilities *) - -(*** The clauses *) - (** [hashmap::HashMap::allocate_slots]: decreases clause *) unfold let hash_map_allocate_slots_decreases (t : Type0) (slots : vec (list_t t)) |