From 8708dbb34dd176f6a4e750e60375928af17051fa Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 5 Sep 2006 08:59:12 +0000 Subject: [PATCH] fixed includes --- helm/software/matita/tests/coercions.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2