diff --git a/src/interpret.ml b/src/interpret.ml
index d2b25a20e..a788a90f4 100644
--- 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]
\ No newline at end of file