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_on_disk/_CoqProject | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/tests/coq/hashmap_on_disk/_CoqProject b/tests/coq/hashmap_on_disk/_CoqProject
index 10e247ae..95b82c41 100644
--- a/tests/coq/hashmap_on_disk/_CoqProject
+++ b/tests/coq/hashmap_on_disk/_CoqProject
@@ -4,6 +4,6 @@
 
 Primitives.v
 
-HashmapMain__Funs.v
-HashmapMain__Opaque.v
-HashmapMain__Types.v
\ No newline at end of file
+HashmapMain_Funs.v
+HashmapMain_Opaque.v
+HashmapMain_Types.v
\ No newline at end of file
-- 
cgit v1.2.3