From 4303dcd0e4e9e70be63a4baeacb7e193d3f76e63 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Tue, 20 Dec 2022 13:09:09 +0100 Subject: [PATCH] Correct a typo in `src/main.ml` disabling the compilation --- src/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.ml b/src/main.ml index 319f215..7699020 100644 --- a/src/main.ml +++ b/src/main.ml @@ -88,7 +88,7 @@ let _ = ("linearization_tuples", Passes.pass_linearization_tuples); ("linearization_app", Passes.pass_linearization_app); ("linearization_pre", Passes.pass_linearization_pre); - ("ensure_assign_val", Passes.pass_ensure_assignment_valuh); + ("ensure_assign_val", Passes.pass_ensure_assignment_value); ("linearization_reset", Passes.pass_linearization_reset); ("sanity_pass_assignment_unicity", Passes.sanity_pass_assignment_unicity); ("automata_translation", Passes.automata_translation_pass);