2 files changed, 8 insertions, 8 deletions
diff --git a/src/lang/token.h b/src/lang/token.h
index bf32820..e2da142 100644
--- a/src/lang/token.h
+++ b/src/lang/token.h
@@ -66,7 +66,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<32> tree;
+  static uniheap<48> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -80,7 +80,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<44> tree;
+  static uniheap<64> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -94,7 +94,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<96> tree;
+  static uniheap<136> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -108,7 +108,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<44> tree;
+  static uniheap<64> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -122,7 +122,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<80> tree;
+  static uniheap<128> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -136,7 +136,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<88> tree;
+  static uniheap<136> tree;
 };
 ///////////////////////////////////////////////////////////////////
@@ -150,7 +150,7 @@ public:
  static void* operator new(size_t n);
  static void operator delete(void* p);
 private:
-  static uniheap<48> tree;
+  static uniheap<72> tree;
 };
 ///////////////////////////////////////////////////////////////////
diff --git a/src/ops/express.h b/src/ops/express.h
index 79148f6..14c974f 100644
--- a/src/ops/express.h
+++ b/src/ops/express.h
@@ -61,7 +61,7 @@ public:
  static void operator delete(void* p);
 protected:
  void copy(const expr_t& x);
-  static uniheap<36> tree;
+  static uniheap<64> tree;
 };
 ////////////////////////////////////////////////////////////

diff --git a/src/lang/token.h b/src/lang/token.h index bf32820..e2da142 100644 --- a/src/lang/token.h +++ b/src/lang/token.h
@@ -66,7 +66,7 @@ public:
66	static void* operator new(size_t n);	66	static void* operator new(size_t n);
67	static void operator delete(void* p);	67	static void operator delete(void* p);
68	private:	68	private:
69	static uniheap<32> tree;	69	static uniheap<48> tree;
70	};	70	};
71		71
72	///////////////////////////////////////////////////////////////////	72	///////////////////////////////////////////////////////////////////
@@ -80,7 +80,7 @@ public:
80	static void* operator new(size_t n);	80	static void* operator new(size_t n);
81	static void operator delete(void* p);	81	static void operator delete(void* p);
82	private:	82	private:
83	static uniheap<44> tree;	83	static uniheap<64> tree;
84	};	84	};
85		85
86	///////////////////////////////////////////////////////////////////	86	///////////////////////////////////////////////////////////////////
@@ -94,7 +94,7 @@ public:
94	static void* operator new(size_t n);	94	static void* operator new(size_t n);
95	static void operator delete(void* p);	95	static void operator delete(void* p);
96	private:	96	private:
97	static uniheap<96> tree;	97	static uniheap<136> tree;
98	};	98	};
99		99
100	///////////////////////////////////////////////////////////////////	100	///////////////////////////////////////////////////////////////////
@@ -108,7 +108,7 @@ public:
108	static void* operator new(size_t n);	108	static void* operator new(size_t n);
109	static void operator delete(void* p);	109	static void operator delete(void* p);
110	private:	110	private:
111	static uniheap<44> tree;	111	static uniheap<64> tree;
112	};	112	};
113		113
114	///////////////////////////////////////////////////////////////////	114	///////////////////////////////////////////////////////////////////
@@ -122,7 +122,7 @@ public:
122	static void* operator new(size_t n);	122	static void* operator new(size_t n);
123	static void operator delete(void* p);	123	static void operator delete(void* p);
124	private:	124	private:
125	static uniheap<80> tree;	125	static uniheap<128> tree;
126	};	126	};
127		127
128	///////////////////////////////////////////////////////////////////	128	///////////////////////////////////////////////////////////////////
@@ -136,7 +136,7 @@ public:
136	static void* operator new(size_t n);	136	static void* operator new(size_t n);
137	static void operator delete(void* p);	137	static void operator delete(void* p);
138	private:	138	private:
139	static uniheap<88> tree;	139	static uniheap<136> tree;
140	};	140	};
141		141
142	///////////////////////////////////////////////////////////////////	142	///////////////////////////////////////////////////////////////////
@@ -150,7 +150,7 @@ public:
150	static void* operator new(size_t n);	150	static void* operator new(size_t n);
151	static void operator delete(void* p);	151	static void operator delete(void* p);
152	private:	152	private:
153	static uniheap<48> tree;	153	static uniheap<72> tree;
154	};	154	};
155		155
156	///////////////////////////////////////////////////////////////////	156	///////////////////////////////////////////////////////////////////


diff --git a/src/ops/express.h b/src/ops/express.h index 79148f6..14c974f 100644 --- a/src/ops/express.h +++ b/src/ops/express.h
@@ -61,7 +61,7 @@ public:
61	static void operator delete(void* p);	61	static void operator delete(void* p);
62	protected:	62	protected:
63	void copy(const expr_t& x);	63	void copy(const expr_t& x);
64	static uniheap<36> tree;	64	static uniheap<64> tree;
65	};	65	};
66		66
67	////////////////////////////////////////////////////////////	67	////////////////////////////////////////////////////////////