diff options
Diffstat (limited to 'tests/lean/Hashmap.lean')
-rw-r--r-- | tests/lean/Hashmap.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/lean/Hashmap.lean b/tests/lean/Hashmap.lean index 41630205..35034754 100644 --- a/tests/lean/Hashmap.lean +++ b/tests/lean/Hashmap.lean @@ -1 +1,2 @@ import Hashmap.Funs +import Hashmap.Properties |