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 63f732d..eedaa52 100644 --- a/impl/Expression.hpp +++ b/impl/Expression.hpp @@ -45,7 +45,7 @@ struct Constant : public Expression<Domain> { } void print(std::ostream& cout) const { - cout << _value << "!c"; + cout << _value; } private: @@ -69,7 +69,7 @@ struct Variable : public Expression<Domain> { } void print(std::ostream& cout) const { - cout << _name << "!v"; + cout << _name; } private: |