X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.h;fp=src%2FAST%2Fboolean.h;h=77dc244001bd99286bef8e7e30a587d6c434e1e6;hp=de96bfc4e21a2ad1699132f85e3b5fb934597f1a;hb=19c299fd9e91386883e788f445d153abfe58430a;hpb=b289a1a05429acdf265f27b89ba75001dbcd19d6

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index de96bfc..77dc244 100644
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -12,7 +12,7 @@
 
 class Boolean : public ASTNode {
 private:
-    static uint64_t counter;
+	static uint64_t counter;
 public:
 	Boolean(ASTNodeType _type);
 	virtual ~Boolean() {}
@@ -25,7 +25,7 @@ public:
 	BooleanValue boolVal;
 	Vector<ASTNode *> parents;
 	virtual void updateParents() {}
-        uint64_t id;
+	uint64_t id;
 	CMEMALLOC;
 };