with CicTypeChecker.TypeCheckerFailure _ -> "H"
)
| C.Name name ->
- Str.global_replace (Str.regexp "[0-9]*$") "" name
+ Str.global_replace (Str.regexp "[0-9']*$") "" name
in
let already_used name =
List.exists (function Some (n,_) -> n=name | _ -> false) context