X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FInterpreter%2Fsignature.cc;h=d9724c9fb3654841715969f0388c835184676229;hp=94efbb2303cf850f7bfe47e0ed1621ff97aab810;hb=b7947a81299c712a8ab0ab5117d06e5b5a6a7475;hpb=860bf6b84ae2317d04e6c6494e4bc9ad824786b9

diff --git a/src/Interpreter/signature.cc b/src/Interpreter/signature.cc
index 94efbb2..d9724c9 100644
--- a/src/Interpreter/signature.cc
+++ b/src/Interpreter/signature.cc
@@ -1,21 +1,21 @@
 #include "signature.h"
 #include "set.h"
 
-ValuedSignature::ValuedSignature(uint id): 
-	Signature(id), 
-	value(-1) 
+ValuedSignature::ValuedSignature(uint id) :
+	Signature(id),
+	value(-1)
 {
 }
 
-int ValuedSignature::getValue(){
+int ValuedSignature::getValue() {
 	ASSERT(value != -1);
 	return value;
 }
 
-string Signature::operator+(const string& str){
+string Signature::operator+(const string &str) {
 	return toString() + str;
 }
 
-string operator+(const string& str, const Signature& sig){
-        return str + sig.toString();
+string operator+(const string &str, const Signature &sig) {
+	return str + sig.toString();
 }