Index: src/trusted/validator/x86/ncval_seg_sfi/ncdecode.c |
=================================================================== |
--- src/trusted/validator/x86/ncval_seg_sfi/ncdecode.c (revision 6419) |
+++ src/trusted/validator/x86/ncval_seg_sfi/ncdecode.c (working copy) |
@@ -49,7 +49,7 @@ |
/* Generates a print name for the given NCDecodeImmediateType. */ |
static const char* NCDecodeImmediateTypeName(NCDecodeImmediateType type) { |
- DEBUG( |
+ DEBUG_OR_ERASE( |
switch(type) { |
case IMM_UNKNOWN: return "IMM_UNKNOWN"; |
case IMM_NONE: return "IMM_NONE"; |