From c4d622f7a16338e59e1955385953ac50a4b0a71b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 29 Feb 2016 09:03:15 -0500
Subject: [PATCH] OperationalSemantics_template

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

diff --git a/_CoqProject b/_CoqProject
index 8b0180d..6e472d4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -14,4 +14,5 @@ TransitionSystems_template.v
 TransitionSystems.v
 ModelChecking_template.v
 ModelChecking.v
+OperationalSemantics_template.v
 OperationalSemantics.v