diff --git a/src/generators/genhl.ml b/src/generators/genhl.ml
index c3de9e1aae3..f9077b52bfc 100644
--- a/src/generators/genhl.ml
+++ b/src/generators/genhl.ml
@@ -4268,7 +4268,7 @@ let generate com =
 	end;*)
 	if hl_check then begin
 		check ctx;
-		Hlinterp.check com.error code false;
+		Hlinterp.check com.error code;
 	end;
 	let t = Timer.timer ["generate";"hl";"write"] in
 
diff --git a/src/generators/hlinterp.ml b/src/generators/hlinterp.ml
index bee56239f02..47f9a4c9516 100644
--- a/src/generators/hlinterp.ml
+++ b/src/generators/hlinterp.ml
@@ -2183,7 +2183,7 @@ let add_code ctx code =
 
 (* ------------------------------- CHECK ---------------------------------------------- *)
 
-let check comerror code macros =
+let check comerror code =
 	let ftypes = Array.make (Array.length code.natives + Array.length code.functions) HVoid in
 	let is_native_fun = Hashtbl.create 0 in