Démarrage en mode normal, pas en mode sélection

diff --git a/bin/main.ml b/bin/main.ml
index 4250a8da6d5118e5b0bf89a9b60d4e81dac8df96..ebb1410b11dd96305c6f811ce4e57e82e26d3140 100644 (file)
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -33,4 +33,4 @@ let () =
         Graphics.open_graph "";
         Graphics.set_window_title "Automaton";
         Graphics.auto_synchronize false;
-        try run (module Modes.AutoSelector) () with Graphics.Graphic_failure _ -> ()
+        try run (module Modes.Normal) () with Graphics.Graphic_failure _ -> ()

diff --git a/bin/modes.mli b/bin/modes.mli
index 8186c82e1210c4a603f5fb7fff2a8b0eb0cb5c72..b84324cfa0e43bdedec9030536c280d5fa3e8cc4 100644 (file)
--- a/bin/modes.mli
+++ b/bin/modes.mli
@@ -37,6 +37,6 @@ module type Mode = ModeAux.S
 
 module Command : Mode
 
-module Normal : Mode
+module Normal : Mode with type initer = unit
 
-module AutoSelector : Mode with type initer = unit
+module AutoSelector : Mode