diff options
Diffstat (limited to 'src/value.cc')
| -rw-r--r-- | src/value.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/value.cc b/src/value.cc index ea52af1f..16d114ca 100644 --- a/src/value.cc +++ b/src/value.cc @@ -122,7 +122,9 @@ void value_t::storage_t::destroy() void value_t::initialize() { +#if defined(DEBUG_ON) LOGGER("value.initialize"); +#endif true_value = new storage_t; true_value->type = BOOLEAN; @@ -313,7 +315,9 @@ value_t::sequence_t value_t::to_sequence() const void value_t::in_place_simplify() { +#if defined(DEBUG_ON) LOGGER("amounts.values.simplify"); +#endif if (is_realzero()) { DEBUG_("Zeroing type " << static_cast<int>(type())); |