From e3e3bb6658ab0d52964a9cb08e0bc3592544f072 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= <git@ameliathe1st.gay>
Date: Sat, 4 Jan 2025 18:56:21 +0100
Subject: [PATCH] =?utf8?q?D=C3=A9marrage=20en=20mode=20normal,=20pas=20en?=
=?utf8?q?=20mode=20s=C3=A9lection?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit
---
bin/main.ml | 2 +-
bin/modes.mli | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/bin/main.ml b/bin/main.ml
index c0f9c3f..13ded83 100644
--- 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 b0427ef..f1a50e4 100644
--- 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
--
2.46.0