diff options
Diffstat (limited to 'src/mem/ruby/slicc_interface')
| -rw-r--r-- | src/mem/ruby/slicc_interface/RubySlicc_Util.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mem/ruby/slicc_interface/RubySlicc_Util.hh b/src/mem/ruby/slicc_interface/RubySlicc_Util.hh index 432379449..7fff1525b 100644 --- a/src/mem/ruby/slicc_interface/RubySlicc_Util.hh +++ b/src/mem/ruby/slicc_interface/RubySlicc_Util.hh @@ -33,6 +33,8 @@ #ifndef __MEM_RUBY_SLICC_INTERFACE_RUBYSLICCUTIL_HH__ #define __MEM_RUBY_SLICC_INTERFACE_RUBYSLICCUTIL_HH__ +#include <cassert> + #include "mem/protocol/AccessType.hh" #include "mem/protocol/CacheMsg.hh" #include "mem/protocol/CacheRequestType.hh" @@ -134,7 +136,7 @@ getTimePlusInt(Time addend1, int addend2) inline Time getTimeMinusTime(Time t1, Time t2) { - ASSERT(t1 >= t2); + assert(t1 >= t2); return t1 - t2; } |