A whole bunch of clean up work around the place.

- Make it a bit nicer to use the command-line
- Remove the strategies we won't be using
- Clean up some code around the place, generally

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: