Missing include.

diff --git a/matita/matita/lib/turing/mono.ma b/matita/matita/lib/turing/mono.ma
index 748f08612442cc6e8aa5a240b2037f14e20e51c7..6a006d5810fcca049c7eccc5b5395a7dabb98917 100644 (file)
--- a/matita/matita/lib/turing/mono.ma
+++ b/matita/matita/lib/turing/mono.ma
@@ -10,6 +10,7 @@
       V_____________________________________________________________*)
 
 include "basics/vectors.ma".
+include "basics/finset.ma".
 (* include "basics/relations.ma". *)
 
 (******************************** tape ****************************************)

diff --git a/matita/matita/lib/turing/wmono.ma b/matita/matita/lib/turing/wmono.ma
index f5a8dfe1be02039adfca1de4742c2b3709b06fc9..35c409639a7dfbc60f1a5f43829e7bb73370c2a9 100644 (file)
--- a/matita/matita/lib/turing/wmono.ma
+++ b/matita/matita/lib/turing/wmono.ma
@@ -10,6 +10,7 @@
       V_____________________________________________________________*)
 
 include "basics/vectors.ma".
+include "basics/finset.ma".
 (* include "basics/relations.ma". *)
 
 record tape (sig:FinSet): Type[0] ≝