diff options
| -rw-r--r-- | parsing/g_constrnew.ml4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/g_constrnew.ml4 b/parsing/g_constrnew.ml4 index f8bb62a22f..573ac2dd32 100644 --- a/parsing/g_constrnew.ml4 +++ b/parsing/g_constrnew.ml4 @@ -26,6 +26,9 @@ let constr_kw = let _ = List.iter (fun s -> Lexer.add_token("",s)) constr_kw let _ = Options.v7 := false +(* For Correctness syntax; doesn't work if in psyntax (freeze pb?) *) +let _ = Lexer.add_token ("","!") + let pair loc = Qualid (loc, Libnames.qualid_of_string "Coq.Init.Datatypes.pair") |