X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fvmcore%2Foptions.h;h=e8d7b5a34a6167b8d8dbc89530f4222f132296d9;hb=d618789d14ccf54bd2f7343f67763983158d1b3b;hp=37210caed291df49a1c4d4a687a77ac0264a699e;hpb=11948ddbe7c903a0483f43a06141bc9acda18fca;p=cacao.git

diff --git a/src/vmcore/options.h b/src/vmcore/options.h
index 37210caed..e8d7b5a34 100644
--- 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)