Merge branch 'main' into functorized

OCamlPro · Sep 15, 2023 · d56d285 · d56d285
2 parents 62df3cb + f31d817
commit d56d285
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/interpret.ml b/src/interpret.ml
@@ -3,4 +3,4 @@
 (* Copyright © 2021 Pierre Chambart *)
 
 module I = Interpret_functor.Make (Value_test.P) [@@inlined hint]
-module S = Interpret_functor.Make (Sym_state.P) [@@inlined hint]
+module S = Interpret_functor.Make (Sym_state.P) [@@inlined hint]