Fix tabbing

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

diff --git a/src/Interpreter/smtsig.h b/src/Interpreter/smtsig.h
index 78041767afb0c0c0853036f72f6612cc9d387341..21271e24e6f3180360b45ad4622916fcd77f465b 100644 (file)
--- a/src/Interpreter/smtsig.h
+++ b/src/Interpreter/smtsig.h
@@ -6,19 +6,19 @@
 #include "classlist.h"
 using namespace std;
 
-class SMTBoolSig: public ValuedSignature{
+class SMTBoolSig : public ValuedSignature {
 public:
        SMTBoolSig(uint id);
-       virtual ~SMTBoolSig(){}
+       virtual ~SMTBoolSig() {}
        virtual string toString() const;
        virtual string getAbsSignature() const;
        virtual string getSignature() const;
 };
 
-class SMTSetSig: public Signature{
+class SMTSetSig : public Signature {
 public:
        SMTSetSig(uint id, Set *set);
-       virtual ~SMTSetSig(){}
+       virtual ~SMTSetSig() {}
        virtual string toString() const;
        virtual string getAbsSignature() const;
        virtual string getSignature() const;
@@ -26,10 +26,10 @@ private:
        string constraint;
 };
 
-class SMTElementSig: public ValuedSignature{
+class SMTElementSig : public ValuedSignature {
 public:
        SMTElementSig(uint id, SMTSetSig *ssig);
-       virtual ~SMTElementSig(){}
+       virtual ~SMTElementSig() {}
        virtual string toString() const;
        virtual string getAbsSignature() const;
        virtual string getSignature() const;