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

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

diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
index 16fcaf44..b8590272 100644
--- a/tests/coq/misc/_CoqProject
+++ b/tests/coq/misc/_CoqProject
@@ -5,9 +5,9 @@
 Primitives.v
 
 Constants.v
-External__Funs.v
-External__Opaque.v
-External__Types.v
+External_Funs.v
+External_Opaque.v
+External_Types.v
 NoNestedBorrows.v
 Paper.v
 PoloniusList.v
\ No newline at end of file
-- 
cgit v1.2.3