diff options
| author | Pierre-Marie Pédrot | 2016-09-21 13:59:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-09-21 13:59:35 +0200 |
| commit | bd81eaef87c5eb3a5d5bf398e151235e4e5c81a1 (patch) | |
| tree | 72246effa2d991b2370aa77f7f8f00ce5fe6c395 /parsing | |
| parent | 9c352481f1a2d3a9c2e0e1f084d1c65521a0c438 (diff) | |
Fix an error-prone error API.
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/egramcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml index 0dbe082311..9560bf2a3b 100644 --- a/parsing/egramcoq.ml +++ b/parsing/egramcoq.ml @@ -434,7 +434,7 @@ let make_act : type r. r target -> _ -> r gen_eval = function CNotation (loc, notation , env) | ForPattern -> fun notation loc env -> let invalid = List.exists (fun (_, b) -> not b) env.binders in - let () = if invalid then Topconstr.error_invalid_pattern_notation loc in + let () = if invalid then Topconstr.error_invalid_pattern_notation ~loc () in let env = (env.constrs, env.constrlists) in CPatNotation (loc, notation, env, []) |