From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 5 Sep 2006 08:59:12 +0000 (+0000)
Subject: fixed includes
X-Git-Tag: make_still_working~6939
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8708dbb34dd176f6a4e750e60375928af17051fa;p=helm.git

fixed includes
---

diff --git a/helm/software/matita/tests/coercions.ma b/helm/software/matita/tests/coercions.ma
index e792bd780..dc4e030bd 100644
--- a/helm/software/matita/tests/coercions.ma
+++ b/helm/software/matita/tests/coercions.ma
@@ -15,7 +15,7 @@
 set "baseuri" "cic:/matita/tests/coercions/".
 
 include "nat/compare.ma".
-include "datatypes/bool.ma".
+include "nat/times.ma".
 
 inductive pos: Set \def
 | one : pos