pkgs/applications/science/logic/satallax/fix-declaration-gcc9.patch

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