diff options
Diffstat (limited to 'parsing/g_prim.ml4')
-rw-r--r-- | parsing/g_prim.ml4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4 index 9dd073cfd..39a7687f1 100644 --- a/parsing/g_prim.ml4 +++ b/parsing/g_prim.ml4 @@ -19,6 +19,8 @@ open Qast open Prim +let _ = reset_all_grammars() + (* camlp4o pa_extend.cmo pa_extend_m.cmo pr_o.cmo q_prim.ml *) ifdef Quotify then |