diff options
Diffstat (limited to 'cparser/Unblock.ml')
-rw-r--r-- | cparser/Unblock.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml index fa304b7f..abdc5d54 100644 --- a/cparser/Unblock.ml +++ b/cparser/Unblock.ml @@ -20,7 +20,7 @@ open C open Cutil -open Errors +open Cerrors (* Convert an initializer to a list of assignments. Prepend those assignments to the given statement. *) |