X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAlloyEnc%2Fsignature.cc;h=4b898d8230d66347a13c66f3197fc26fd6630706;hp=4237fd6e25e042a976986013141a7dbdf657ec18;hb=7c9674de2cb89d53417b40756b100292198c039e;hpb=3896ad686a910868d7bf2988cd83a4fe3da700b2

diff --git a/src/AlloyEnc/signature.cc b/src/AlloyEnc/signature.cc
index 4237fd6..4b898d8 100644
--- a/src/AlloyEnc/signature.cc
+++ b/src/AlloyEnc/signature.cc
@@ -1,7 +1,7 @@
 #include "signature.h"
 #include "set.h"
 
-bool BooleanSig::encodeSet = true;
+bool BooleanSig::encodeAbsSig = true;
 
 BooleanSig::BooleanSig(uint id):
 	Signature(id),
@@ -20,8 +20,8 @@ string BooleanSig::toString() const{
 
 string BooleanSig::getSignature() const{
 	string str;
-	if(encodeSet){
-		encodeSet = false;
+	if(encodeAbsSig){
+		encodeAbsSig = false;
 		str += "one sig BooleanSet {\n\
 		domain: set Int\n\
 		}{\n\