8.4 #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.
Related reference
8.2 #assert
Non-ConfidentialPDF file icon PDF versionARM DUI0375E
Copyright © 2007, 2008, 2011, 2012, 2014 ARM. All rights reserved.