X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fturing%2Fwmono.ma;h=35c409639a7dfbc60f1a5f43829e7bb73370c2a9;hb=3ec8573d459f3a794547fd31167fadb34503527b;hp=f5a8dfe1be02039adfca1de4742c2b3709b06fc9;hpb=d1483cedda4b96ec53018d0209c9e040dc0202fa;p=helm.git

diff --git a/matita/matita/lib/turing/wmono.ma b/matita/matita/lib/turing/wmono.ma
index f5a8dfe1b..35c409639 100644
--- 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] ≝