From c3bc6e79494b03543e0c708bfa9e71d2e5d57aee Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Fri, 4 May 2018 17:28:30 +0200
Subject: Now a command to access the value of a constant

---
 tuto1/_CoqProject | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tuto1/_CoqProject')

diff --git a/tuto1/_CoqProject b/tuto1/_CoqProject
index 554893e739..ce14ee2b87 100644
--- a/tuto1/_CoqProject
+++ b/tuto1/_CoqProject
@@ -1,9 +1,13 @@
 -R theories Tuto1
 -I src
 
+theories/Loader.v
+
 src/simple_check.mli
 src/simple_check.ml
 src/simple_declare.mli
 src/simple_declare.ml
+src/simple_print.ml
+src/simple_print.mli
 src/g_tuto1.ml4
 src/tuto1_plugin.mlpack
\ No newline at end of file
-- 
cgit v1.2.3