X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FEncoders%2Felementencoding.h;fp=src%2FEncoders%2Felementencoding.h;h=07404619100d9b0edde04a0c7ceea4d44865f012;hp=d153793fc8d557dfb6ff828610305d23f73b8be2;hb=19c299fd9e91386883e788f445d153abfe58430a;hpb=b289a1a05429acdf265f27b89ba75001dbcd19d6

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index d153793..0740461 100644
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -33,7 +33,7 @@ public:
 	}
 	void print();
 
-        bool anyValue;
+	bool anyValue;
 	ElementEncodingType type;
 	Element *element;
 	Edge *variables;/* List Variables Used To Encode Element */
@@ -41,8 +41,8 @@ public:
 		struct {
 			uint64_t *encodingArray;	/* List the Variables in the appropriate order */
 			uint64_t *inUseArray;	/* Bitmap to track variables in use */
-			Edge * edgeArray;
-			Polarity * polarityArray;
+			Edge *edgeArray;
+			Polarity *polarityArray;
 			uint encArraySize;
 			ElemEnc encoding;
 		};