diff --git a/src/api/ml/z3native.ml.pre b/src/api/ml/z3native.ml.pre
index 8f76aa950..93df8ad07 100644
--- a/src/api/ml/z3native.ml.pre
+++ b/src/api/ml/z3native.ml.pre
@@ -21,6 +21,7 @@ and solver_callback = ptr
 and goal = ptr
 and tactic = ptr
 and params = ptr
+and parser_context = ptr
 and probe = ptr
 and stats = ptr
 and ast_vector = ptr
diff --git a/src/api/ml/z3native_stubs.c.pre b/src/api/ml/z3native_stubs.c.pre
index 0efaa110f..e9cfa443b 100644
--- a/src/api/ml/z3native_stubs.c.pre
+++ b/src/api/ml/z3native_stubs.c.pre
@@ -418,6 +418,7 @@ MK_PLUS_OBJ_NO_REF(constructor_list, 16)
 MK_PLUS_OBJ_NO_REF(rcf_num, 16)
 MK_PLUS_OBJ(params, 64)
 MK_PLUS_OBJ(param_descrs, 64)
+MK_PLUS_OBJ(parser_context, 64)
 MK_PLUS_OBJ(model, 64)
 MK_PLUS_OBJ(func_interp, 32)
 MK_PLUS_OBJ(func_entry, 32)