From 5d0bcbe50211461b37b121d1f85fcb874fdce49c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 22 Nov 2017 16:04:06 -0500
Subject: Make a copy of Demo.v

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index f7a4b5aee..073bdb239 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,6 +3,7 @@
 Bedrock/Nomega.v
 Bedrock/Word.v
 src/Demo.v
+src/DemoWithReification.v
 src/Algebra/Field.v
 src/Algebra/Field_test.v
 src/Algebra/Group.v
-- 
cgit v1.2.3