diff options
Diffstat (limited to 'baseline/source/ndes')
| -rw-r--r-- | baseline/source/ndes/ndes.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/baseline/source/ndes/ndes.c b/baseline/source/ndes/ndes.c index b0f494c..f169c62 100644 --- a/baseline/source/ndes/ndes.c +++ b/baseline/source/ndes/ndes.c | |||
| @@ -17,7 +17,7 @@ | |||
| 17 | */ | 17 | */ |
| 18 | 18 | ||
| 19 | /* A read from this address will result in an known value of 1 */ | 19 | /* A read from this address will result in an known value of 1 */ |
| 20 | #include "../extra.h" | 20 | #include "extra.h" |
| 21 | #define KNOWN_VALUE 1 | 21 | #define KNOWN_VALUE 1 |
| 22 | #define NDES_WORSTCASE 1 | 22 | #define NDES_WORSTCASE 1 |
| 23 | /* | 23 | /* |