From 007b88166833bb4c8de494306ff62de396510091 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Wed, 9 May 2018 13:06:56 +0200
Subject: repackage with an extra ml file, add a usage of new_type_evar

---
 tuto3/_CoqProject | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tuto3/_CoqProject')

diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject
index 22d357542a..5f1bd0450c 100644
--- a/tuto3/_CoqProject
+++ b/tuto3/_CoqProject
@@ -3,5 +3,7 @@
 
 theories/Loader.v
 
+src/construction_game.ml
+src/construction_game.mli
 src/g_tuto3.ml4
 src/tuto3_plugin.mlpack
\ No newline at end of file
-- 
cgit v1.2.3