]> git.ameliathe1st.gay Git - cells.git/commitdiff
Démarrage en mode normal, pas en mode sélection
authorAmélia Coutard-Sander <git@ameliathe1st.gay>
Sat, 4 Jan 2025 17:56:21 +0000 (18:56 +0100)
committerAmélia Coutard-Sander <git@ameliathe1st.gay>
Sat, 4 Jan 2025 17:56:21 +0000 (18:56 +0100)
bin/main.ml
bin/modes.mli

index c0f9c3fe0d5d934e2f5014d28f5c293176c5bf2a..13ded836a31ca0b55b927060ed5f9795fd8219eb 100644 (file)
@@ -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 _ -> ()
index b0427ef1ba2266978c607a80cbe011988dac8c95..f1a50e480743f4f696f79decb89373b8f0d3035e 100644 (file)
@@ -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