Commit 810e345a authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Mistake in the order of arguments

parent 5b42976b
......@@ -209,7 +209,7 @@ let type_line = function
| Stypedef (a, ty) -> Ttypedef (a, ty)
| Svardef (id, ty, def) -> Tvardef (id, ty, type_term [] def)
| Scheck (t, ty) ->
let tt = type_check [] t ty in Tcheck (tt, ty)
let tt = type_check [] ty t in Tcheck (tt, ty)
| Snorm t -> Tnorm (type_term [] t)
let type_check = type_line
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