Commit 81c4153e authored by Andrei Paskevich's avatar Andrei Paskevich

Typing: minor

parent cd8b9b86
......@@ -1506,8 +1506,10 @@ let type_inst ({muc_theory = tuc} as muc) ({mod_theory = t} as m) s =
Loc.errorm ~loc:(qloc q) "program constant expected"
| RS _, PV _ ->
Loc.errorm ~loc:(qloc q) "program function expected"
| OO _, _ | _, OO _ ->
| _, OO _ ->
Loc.errorm ~loc:(qloc q) "ambiguous notation"
| OO _, _ ->
assert false (* should never happen *)
end
| CSxsym (p,q) ->
let xs1 = find_xsymbol_ns m.mod_export p in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment