- let (bef,ti) =
- match repl with
- [] -> init p infop
- | repl -> insert p infop repl ti in
- replacements := (bef,ti)
+ (match repl with
+ Ast.NOREPLACEMENT ->
+ let (bef,ti) = init p infop in
+ replacements := (Ast.REPLACEMENT(bef,c),ti)
+ | Ast.REPLACEMENT(repl,it) ->
+ let it = Ast.lub_count it c in
+ let (bef,ti) = insert p infop repl ti in
+ replacements := (Ast.REPLACEMENT(bef,it),ti))