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

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

diff --git a/tests/coq/betree/_CoqProject b/tests/coq/betree/_CoqProject
index 5e08a7a6..3cf45746 100644
--- a/tests/coq/betree/_CoqProject
+++ b/tests/coq/betree/_CoqProject
@@ -4,6 +4,6 @@
 
 Primitives.v
 
-BetreeMain__Funs.v
-BetreeMain__Opaque.v
-BetreeMain__Types.v
\ No newline at end of file
+BetreeMain_Funs.v
+BetreeMain_Opaque.v
+BetreeMain_Types.v
\ No newline at end of file
-- 
cgit v1.2.3