diff options
Diffstat (limited to 'src/ops/express.h')
| -rw-r--r-- | src/ops/express.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 | //////////////////////////////////////////////////////////// |