* Merged in twisti-branch.

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

diff --git a/src/vmcore/options.c b/src/vmcore/options.c
index 1bc4a9b9190b6a580ae7fdad614b3831aa9dafac..db1edf6be0b563bb956d3fd7f82a5ce2b0fc38e7 100644 (file)
--- a/src/vmcore/options.c
+++ b/src/vmcore/options.c
@@ -22,7 +22,7 @@
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   $Id: options.c 7450 2007-03-04 19:13:29Z edwin $
+   $Id: options.c 7585 2007-03-28 01:24:56Z twisti $
 
 */
 
@@ -95,7 +95,6 @@ bool opt_showexceptionstubs = false;
 bool opt_shownativestub     = false;
 
 bool checkbounds = true;       /* check array bounds                         */
-bool checknull = true;         /* check null pointers                        */
 bool opt_noieee = false;       /* don't implement ieee compliant floats      */
 bool checksync = true;         /* do synchronization                         */
 #if defined(ENABLE_LOOP)