diff --git a/src/passes/1-parser/pascaligo/ParserAPI.ml b/src/passes/1-parser/pascaligo/ParserAPI.ml
index 24f663d90..5a91be8f7 100644
--- a/src/passes/1-parser/pascaligo/ParserAPI.ml
+++ b/src/passes/1-parser/pascaligo/ParserAPI.ml
@@ -4,7 +4,7 @@
 
 module Make (Lexer: Lexer.S with module Token := LexToken)
             (Parser: module type of Parser)
-            (ParErr: sig val message : int -> string end) =
+            (ParErr: module type of ParErr) =
   struct
     module I = Parser.MenhirInterpreter
     module S = MenhirLib.General (* Streams *)
diff --git a/src/passes/1-parser/pascaligo/ParserAPI.mli b/src/passes/1-parser/pascaligo/ParserAPI.mli
index 7d969a33c..afc0fb8ba 100644
--- a/src/passes/1-parser/pascaligo/ParserAPI.mli
+++ b/src/passes/1-parser/pascaligo/ParserAPI.mli
@@ -2,7 +2,7 @@
 
 module Make (Lexer: Lexer.S with module Token := LexToken)
             (Parser: module type of Parser)
-            (ParErr: sig val message: int -> string end) :
+            (ParErr: module type of ParErr) :
   sig
     (* Monolithic and incremental APIs of Menhir for parsing *)