Fix tabbing

[satune.git] / src / Interpreter / interpreter.h

diff --git a/src/Interpreter/interpreter.h b/src/Interpreter/interpreter.h
index 32eed4a0de824a1d63d021682e6cad3ae009dba6..dc61c18e47af4629c997739e840306da6066ca00 100644 (file)
--- a/src/Interpreter/interpreter.h
+++ b/src/Interpreter/interpreter.h
@@ -8,7 +8,7 @@
 #include <fstream>
 using namespace std;
 
-class Interpreter{
+class Interpreter {
 public:
        Interpreter(CSolver *solver);
        void encode();
@@ -24,7 +24,7 @@ protected:
        virtual void dumpFooter() = 0;
        virtual void dumpHeader() = 0;
        uint getTimeout();
-       virtual void compileRunCommand(char * command, size_t size) = 0;
+       virtual void compileRunCommand(char *command, size_t size) = 0;
        string encodeConstraint(BooleanEdge constraint);
        virtual int getResult() = 0;
        virtual string negateConstraint(string constr) = 0;