diff options
Diffstat (limited to 'tests/coq/hashmap/_CoqProject')
| -rw-r--r-- | tests/coq/hashmap/_CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/coq/hashmap/_CoqProject b/tests/coq/hashmap/_CoqProject index 2aa6b46c..94708adc 100644 --- a/tests/coq/hashmap/_CoqProject +++ b/tests/coq/hashmap/_CoqProject @@ -4,5 +4,5 @@ Primitives.v -Hashmap__Types.v -Hashmap__Funs.v
\ No newline at end of file +Hashmap_Types.v +Hashmap_Funs.v
\ No newline at end of file |