fix tabbing

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

diff --git a/src/ASTTransform/varorderingopt.h b/src/ASTTransform/varorderingopt.h
index efb01527f46f39a8a24c6fafe41287d01033618c..ed134d7114908a69c5e80d296c2ad1becff0f38c 100644 (file)
--- a/src/ASTTransform/varorderingopt.h
+++ b/src/ASTTransform/varorderingopt.h
@@ -4,7 +4,7 @@
  * and open the template in the editor.
  */
 
-/* 
+/*
  * File:   VarOrderingOpt.h
  * Author: hamed
  *
@@ -17,14 +17,14 @@
 #include "transform.h"
 
 
-class VarOrderingOpt :Transform {
+class VarOrderingOpt : Transform {
 public:
-        VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
-        void doTransform();
-        virtual ~VarOrderingOpt();
+       VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
+       void doTransform();
+       virtual ~VarOrderingOpt();
 private:
-        SATEncoder* satencoder;
+       SATEncoder *satencoder;
 };
 
-#endif /* VARORDERINGOPT_H */
+#endif/* VARORDERINGOPT_H */