From bcb59435d92b09ecf87b747a6b449743f7735bd8 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Wed, 9 May 2018 14:41:53 +0200
Subject: an example with type classes, but no class inference triggered yet

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

(limited to 'tuto3/_CoqProject')

diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject
index 5f1bd0450c..23ba975de4 100644
--- a/tuto3/_CoqProject
+++ b/tuto3/_CoqProject
@@ -1,6 +1,7 @@
 -R theories Tuto3
 -I src
 
+theories/Data.v
 theories/Loader.v
 
 src/construction_game.ml
-- 
cgit v1.2.3