diff options
Diffstat (limited to 'ident-list.h')
-rw-r--r-- | ident-list.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ident-list.h b/ident-list.h index ab5bc5f5..6264fd06 100644 --- a/ident-list.h +++ b/ident-list.h @@ -81,6 +81,7 @@ IDENT(main); /* used by the symbolic checker */ IDENT(__assert); IDENT(__assert_eq); +IDENT(__assert_const); #undef __IDENT #undef IDENT |