diff options
Diffstat (limited to 'impl/Expression.hpp')
| -rw-r--r-- | impl/Expression.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/impl/Expression.hpp b/impl/Expression.hpp index 72318e4..7fc4542 100644 --- a/impl/Expression.hpp +++ b/impl/Expression.hpp @@ -29,7 +29,7 @@ struct Constant : public Expression<Domain> { } void print(std::ostream& cout) const { - cout << _value; + cout << _value << "!c"; } private: @@ -53,7 +53,7 @@ struct Variable : public Expression<Domain> { } void print(std::ostream& cout) const { - cout << name(); + cout << _name << "!v"; } private: |