diff options
Diffstat (limited to 'cparser/PackedStructs.ml')
-rw-r--r-- | cparser/PackedStructs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/PackedStructs.ml b/cparser/PackedStructs.ml index b74a29d4..e1287eb8 100644 --- a/cparser/PackedStructs.ml +++ b/cparser/PackedStructs.ml @@ -23,7 +23,7 @@ open Machine open C open Cutil open Env -open Cerrors +open Diagnostics open Transform (* The set of struct fields that are byte-swapped. |