From 8bf0452f91c44ff390556db77bf42697c0443b67 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 15 Nov 2022 16:32:35 +0100
Subject: Generate record field projectors for Coq

---
 tests/coq/hashmap/_CoqProject | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/coq/hashmap/_CoqProject')

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
-- 
cgit v1.2.3