diff options
Diffstat (limited to 'cparser/Rename.ml')
| -rw-r--r-- | cparser/Rename.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Rename.ml b/cparser/Rename.ml index 76c3c12c..034df245 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -83,8 +83,8 @@ let ident env id = try IdentMap.find id env.re_id with Not_found -> - Errors.fatal_error "Internal error: Rename: %s__%d unbound" - id.name id.stamp + Cerrors.fatal_error "Internal error: Rename: %s__%d unbound" + id.name id.stamp let rec typ env = function | TPtr(ty, a) -> TPtr(typ env ty, a) |