diff options
Diffstat (limited to 'ident-list.h')
-rw-r--r-- | ident-list.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ident-list.h b/ident-list.h index 8049b694..918f54d7 100644 --- a/ident-list.h +++ b/ident-list.h @@ -78,6 +78,9 @@ IDENT(memset); IDENT(memcpy); IDENT(copy_to_user); IDENT(copy_from_user); IDENT(main); +/* used by the symbolic checker */ +IDENT(__assert); + #undef __IDENT #undef IDENT #undef IDENT_RESERVED |