libs/minisat/PATCH_mkLit_default_arg.patch

   1 --- SolverTypes.h
   2 +++ SolverTypes.h
   3 @@ -52,7 +52,7 @@ struct Lit {
   4      int     x;
   5
   6      // Use this as a constructor:
   7 -    friend Lit mkLit(Var var, bool sign = false);
   8 +    friend Lit mkLit(Var var, bool sign);
   9
  10      bool operator == (Lit p) const { return x == p.x; }
  11      bool operator != (Lit p) const { return x != p.x; }
  12 @@ -60,7 +60,7 @@ struct Lit {
  13  };
  14
  15
  16 -inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
  17 +inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x = var + var + (int)sign; return p; }
  18  inline  Lit  operator ~(Lit p)              { Lit q; q.x = p.x ^ 1; return q; }
  19  inline  Lit  operator ^(Lit p, bool b)      { Lit q; q.x = p.x ^ (unsigned int)b; return q; }
  20  inline  bool sign      (Lit p)              { return p.x & 1; }