Commit 293d9dd7 authored by Andrei Paskevich's avatar Andrei Paskevich

fix a typing error never caught by type checker

parent c239c45c
......@@ -408,7 +408,7 @@ module Hsterm = Hashcons.Make (struct
| _ -> false
let equal t1 t2 =
t_equal t1.t_ty t2.t_ty &&
ty_equal t1.t_ty t2.t_ty &&
t_equal_node t1.t_node t2.t_node &&
list_all2 (=) t1.t_label t2.t_label
......
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