diff options
Diffstat (limited to 'src/misc/espresso/espresso.h')
| -rw-r--r-- | src/misc/espresso/espresso.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/espresso/espresso.h b/src/misc/espresso/espresso.h index 27d1c124..8b54fab5 100644 --- a/src/misc/espresso/espresso.h +++ b/src/misc/espresso/espresso.h @@ -18,7 +18,7 @@ #include "util_hack.h" // added -#define ptime() util_cpu_time() +#define ABC__misc__espresso__espresso_h #define print_time(t) util_print_time(t) #ifdef IBM_WATC @@ -55,7 +55,7 @@ /* Define host machine characteristics of "unsigned int" */ -#ifndef BPI +#ifndef ABC__misc__espresso__espresso_h #define BPI |