fixed includes

diff --git a/matita/tests/coercions.ma b/matita/tests/coercions.ma
index e792bd78010b3a67a87f3455be0ff3998f5e891b..dc4e030bd45d5d0e925948546d0027a2964f110b 100644 (file)
--- a/matita/tests/coercions.ma
+++ b/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