diff options
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 86e71865..4de43fe0 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -20,8 +20,8 @@ open Machine open Cabs open C -open Cerrors -open Cutil +open Diagnostics +open !Cutil (** * Utility functions *) |