diff src/pt.h @ 3772:e44ffad3d06c

[project @ 2001-02-03 06:23:38 by jwe]
author jwe
date Sat, 03 Feb 2001 06:23:38 +0000
parents bf6116ca10eb
children 44386b0e53da
line wrap: on
line diff
--- a/src/pt.h	Sat Feb 03 06:15:59 2001 +0000
+++ b/src/pt.h	Sat Feb 03 06:23:38 2001 +0000
@@ -67,6 +67,9 @@
   virtual bool is_breakpoint (void) const 
     { return break_point; }
 
+  // If true, stop executing at the next possible point.
+  static bool break_next;
+
 private:
 
   // The input line and column where we found the text that was