Add contains_UB files to _CoqProject.

vellvm · Aug 14, 2023 · e5b1f72 · e5b1f72
1 parent d78950e
commit e5b1f72
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/_CoqProject b/src/_CoqProject
@@ -90,6 +90,8 @@
 ./coq/Syntax/TypeUtil.v
 ./coq/Theory.v
 ./coq/Theory/ContainsUB.v
+./coq/Theory/ContainsUBExtra.v
+./coq/Theory/ContainsUBOrig.v
 ./coq/Theory/DenotationTheory.v
 ./coq/Theory/ExpLemmas.v
 ./coq/Theory/InstrLemmas.v