kernel: remove *_BRK_CURR_STAT

gap-system · Jul 6, 2018 · eda6e88 · eda6e88
1 parent cebcf8a
commit eda6e88
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/src/stats.h b/src/stats.h
@@ -63,19 +63,6 @@ extern UInt EXEC_STAT(Stat stat);
 extern  UInt 		(* IntrExecStatFuncs[256]) ( Stat stat );
 
 
-/****************************************************************************
-**
-*F  SET_BRK_CURR_STAT(<stat>) . . . . . . . set currently executing statement
-*F  OLD_BRK_CURR_STAT . . . . . . . . .  define variable to remember CurrStat
-*F  REM_BRK_CURR_STAT() . . . . . . .  remember currently executing statement
-*F  RES_BRK_CURR_STAT() . . . . . . . . restore currently executing statement
-*/
-#define SET_BRK_CURR_STAT(stat) do {} while (0) /* do nothing */
-#define OLD_BRK_CURR_STAT       do {} while (0) /* do nothing */ ;
-#define REM_BRK_CURR_STAT()     do {} while (0) /* do nothing */
-#define RES_BRK_CURR_STAT()     do {} while (0) /* do nothing */
-
-
 /****************************************************************************
 **
 *V  ReturnObjStat . . . . . . . . . . . . . . . .  result of return-statement