From c26f38114fedde81effb938ffbedfe922d77a322 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 7 Aug 2012 17:01:57 +1000
Subject: 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
---
 impl/Expression.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'impl/Expression.hpp')

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:
-- 
cgit v1.2.3