summaryrefslogtreecommitdiff
path: root/cparser/Cleanup.ml
diff options
context:
space:
mode:
Diffstat (limited to 'cparser/Cleanup.ml')
-rw-r--r--cparser/Cleanup.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cleanup.ml b/cparser/Cleanup.ml
index 17b2f98..54dfd67 100644
--- a/cparser/Cleanup.ml
+++ b/cparser/Cleanup.ml
@@ -58,6 +58,7 @@ let rec add_exp e =
| EConst (CEnum(id, v)) -> addref id
| EConst _ -> ()
| ESizeof ty -> add_typ ty
+ | EAlignof ty -> add_typ ty
| EVar id -> addref id
| EUnop(op, e1) -> add_exp e1
| EBinop(op, e1, e2, ty) -> add_exp e1; add_exp e2