From e3e3bb6658ab0d52964a9cb08e0bc3592544f072 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= 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