restructuring

[helm.git] / matita / matita / lib / turing / multi_universal / universal.ma

diff --git a/matita/matita/lib/turing/multi_universal/universal.ma b/matita/matita/lib/turing/multi_universal/universal.ma
index 9b245cde9216b449d1aa2219c402a2d52b8113dd..ce8f329c8b56afa4dfaeda22f1f56c343d0980c1 100644 (file)
--- a/matita/matita/lib/turing/multi_universal/universal.ma
+++ b/matita/matita/lib/turing/multi_universal/universal.ma
@@ -9,7 +9,7 @@
      \ /   GNU General Public License Version 2   
       V_____________________________________________________________*)
 
-include "turing/simple_machines.ma".
+include "turing/auxiliary_multi_machines.ma".
 include "turing/multi_universal/unistep.ma".
 
 definition stop ≝ λc.