From 3b487893b2906e13b2388efc3512f2babc8514bf Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 29 Nov 2023 15:48:27 +0100
Subject: Regenerate the other files

---
 tests/coq/misc/_CoqProject | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
index 0828bced..abbf6aa8 100644
--- a/tests/coq/misc/_CoqProject
+++ b/tests/coq/misc/_CoqProject
@@ -13,5 +13,6 @@ Constants.v
 PoloniusList.v
 NoNestedBorrows.v
 External_FunsExternal.v
+Bitwise.v
 External_TypesExternal_Template.v
 External_FunsExternal_Template.v
-- 
cgit v1.2.3