debug_print (lazy ("closed: "
^ String.concat " " (List.map string_of_int gcn)));
let stack =
- (zero_pos gon, t @~- gcn, k @~- gon, tag) :: deep_close gcn s
+ (zero_pos gon, t @~- gcn, k @~- gcn, tag) :: deep_close gcn s
in
sn, stack
| Dot, ([], _, [], _) :: _ ->