Fix tabbing

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

diff --git a/src/Interpreter/alloyinterpreter.h b/src/Interpreter/alloyinterpreter.h
index e4a1e3b0531761aa33bde0e41868a163d7b57d3a..310f3d9dc43e39e5ef86d8f17d0d84c8b81cbe68 100644 (file)
--- a/src/Interpreter/alloyinterpreter.h
+++ b/src/Interpreter/alloyinterpreter.h
@@ -7,7 +7,7 @@
 #include <iostream>
 #include <fstream>
 
-class AlloyInterpreter: public Interpreter{
+class AlloyInterpreter : public Interpreter {
 public:
        AlloyInterpreter(CSolver *solver);
        virtual ValuedSignature *getBooleanSignature(uint id);
@@ -18,7 +18,7 @@ protected:
        virtual void dumpFooter();
        virtual void dumpHeader();
        int getAlloyIntScope();
-       virtual void compileRunCommand(char * command , size_t size);
+       virtual void compileRunCommand(char *command, size_t size);
        virtual int getResult();
        virtual void dumpAllConstraints(Vector<char *> &facts);
        virtual string negateConstraint(string constr);