Fix apparent bug...

[satcheck.git] / constraint.h

diff --git a/constraint.h b/constraint.h
index bf97b3122d4d7e75cee7c17a94878b4a0f6fe8be..4bfdd6be4794c689d55c88712f2cc827eb325713 100644 (file)
--- a/constraint.h
+++ b/constraint.h
@@ -19,7 +19,7 @@ enum ConstraintType {
 typedef enum ConstraintType CType;
 
 class Constraint {
- public:
+public:
        Constraint(CType t, Constraint *l, Constraint *r);
        Constraint(CType t, Constraint *l);
        Constraint(CType t, uint num, Constraint ** array);
@@ -40,7 +40,7 @@ class Constraint {
        Constraint *negate();
 
        MEMALLOC;
- private:
+private:
        CType type;
        uint numoperandsorvar;
        Constraint ** operands;