sparse or decompose

[satune.git] / src / ASTTransform / preprocess.h

diff --git a/src/ASTTransform/preprocess.h b/src/ASTTransform/preprocess.h
index ea9800d8e2b035b426c99e095b30af0485dbcfe5..2bca8bc734177c23d50706838421c69d03f80a9a 100644 (file)
--- 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();
 };