diff options
Diffstat (limited to 'cparser/Cprint.ml')
| -rw-r--r-- | cparser/Cprint.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cprint.ml b/cparser/Cprint.ml index d623ab96..c2253c8f 100644 --- a/cparser/Cprint.ml +++ b/cparser/Cprint.ml @@ -361,6 +361,7 @@ let storage pp = function | Storage_default -> () | Storage_extern -> fprintf pp "extern " | Storage_static -> fprintf pp "static " + | Storage_auto -> () (* used only in blocks, where it can be omitted *) | Storage_register -> fprintf pp "register " let full_decl pp (sto, id, ty, int) = |