diff options
| -rw-r--r-- | toplevel/metasyntax.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index 920f6f4c54..4b4abe63ad 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -352,9 +352,9 @@ let analyse_notation_tokens l = let remove_extravars extrarecvars (vars,recvars) = let vars = List.fold_right (fun (x,y) l -> - if List.mem_assoc x l <> List.mem_assoc y recvars then + if List.assoc x l <> List.assoc y recvars then error - "Two end variables of a recursive notation are not in the same scope" + "Two end variables of a recursive notation are not in the same scope." else List.remove_assoc x l) extrarecvars (List.remove_assoc ldots_var vars) in |