diff options
author | 2016-05-09 18:37:29 +0200 | |
---|---|---|
committer | 2016-05-09 18:40:35 +0200 | |
commit | cd9f2859e69d99aea5b29a6d677448a39a234b6f (patch) | |
tree | 500a8b0d1c36662f590c7956cf932663028186be /parsing/g_constr.ml4 | |
parent | 4114926d5bf60b014c363788d043c00184655da2 (diff) | |
parent | aa6a7fc837f8148655c179e9a0b63c3044edfe71 (diff) |
Merge branch 'v8.5'
Diffstat (limited to 'parsing/g_constr.ml4')
-rw-r--r-- | parsing/g_constr.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4 index 7e470e844..243f71416 100644 --- a/parsing/g_constr.ml4 +++ b/parsing/g_constr.ml4 @@ -29,7 +29,7 @@ let constr_kw = "Prop"; "Set"; "Type"; ".("; "_"; ".."; "`{"; "`("; "{|"; "|}" ] -let _ = List.iter Lexer.add_keyword constr_kw +let _ = List.iter CLexer.add_keyword constr_kw let mk_cast = function (c,(_,None)) -> c |