diff options
Diffstat (limited to 'cparser/Parse_aux.ml')
-rwxr-xr-x | cparser/Parse_aux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Parse_aux.ml b/cparser/Parse_aux.ml index 65922453..06002611 100755 --- a/cparser/Parse_aux.ml +++ b/cparser/Parse_aux.ml @@ -14,7 +14,7 @@ (* *********************************************************************) open Format -open Errors +open Cerrors open Cabshelper (* Report parsing errors *) |