* Merged in twisti-branch.

[cacao.git] / src / vmcore / options.h

diff --git a/src/vmcore/options.h b/src/vmcore/options.h
index 37210caed291df49a1c4d4a687a77ac0264a699e..e8d7b5a34a6167b8d8dbc89530f4222f132296d9 100644 (file)
--- a/src/vmcore/options.h
+++ b/src/vmcore/options.h
@@ -22,7 +22,7 @@
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   $Id: options.h 7450 2007-03-04 19:13:29Z edwin $
+   $Id: options.h 7585 2007-03-28 01:24:56Z twisti $
 
 */
 
@@ -107,7 +107,6 @@ extern bool opt_showexceptionstubs;
 extern bool opt_shownativestub;
 
 extern bool checkbounds;
-extern bool checknull;
 extern bool opt_noieee;
 extern bool checksync;
 #if defined(ENABLE_LOOP)