3.1.3. #unassert

A predicate name can be deleted using a #unassert preprocessing directive.

Syntax

#unassert name
#unassert name[(token-sequence)]

Where:

name

is a predicate name

token-sequence

is an optional sequence of tokens.

If the token sequence is omitted, all definitions of name are removed.

If the token sequence is included, only the indicated definition is removed. All other definitions are left intact.

See also

Copyright © 2007, 2010 ARM Limited. All rights reserved.ARM DUI 0348A
Non-Confidential