diff src/ov-base.h @ 7193:cbdee3da62bd

[project @ 2007-11-26 22:20:25 by dbateman]
author dbateman
date Mon, 26 Nov 2007 22:20:25 +0000
parents 88417316c1b0
children 745a8299c2b5
line wrap: on
line diff
--- a/src/ov-base.h	Mon Nov 26 21:44:54 2007 +0000
+++ b/src/ov-base.h	Mon Nov 26 22:20:25 2007 +0000
@@ -487,6 +487,10 @@
   DECLARE_OV_BASE_TYPEID_FUNCTIONS_AND_DATA
 };
 
+// TRUE means to perform automatic sparse to real mutation if there
+// is memory to be saved
+extern bool Vsparse_auto_mutate;
+
 #endif
 
 /*