X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fpreprocess.h;h=2bca8bc734177c23d50706838421c69d03f80a9a;hb=06e879cba71e0b6180c1997fb0078ba80b323c34;hp=ea9800d8e2b035b426c99e095b30af0485dbcfe5;hpb=4901eaf03e64e4ed21f1ec0d786b75b5aa29283c;p=satune.git

diff --git a/src/ASTTransform/preprocess.h b/src/ASTTransform/preprocess.h
index ea9800d..2bca8bc 100644
--- a/src/ASTTransform/preprocess.h
+++ b/src/ASTTransform/preprocess.h
@@ -4,15 +4,15 @@
 #include "transform.h"
 
 class Preprocess : public Transform {
- public:
+public:
 	Preprocess(CSolver *_solver);
 	~Preprocess();
 	void doTransform();
-	
+
 	CMEMALLOC;
- private:
+private:
 	HashsetBoolean toremove;
-	void processBooleanVar(BooleanVar * b);
+	void processBooleanVar(BooleanVar *b);
 	void resolveBooleanVars();
 };