Missing include.

[helm.git] / matita / matita / lib / turing / wmono.ma

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] ≝