/*
- * Copyright (c) 2003 The Regents of The University of Michigan
+ * Copyright (c) 2003-2004 The Regents of The University of Michigan
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
#ifndef __DEBUG_HH__
#define __DEBUG_HH__
-#ifdef DEBUG
void debug_break();
-#else
-inline void debug_break() { }
-#endif
#endif // __DEBUG_HH__