[152942] trunk/dports/math/minisat/files/patch-friend-declaration.diff

[khindenburg at macports.org]

Revision: 152942
          https://trac.macports.org/changeset/152942
Author:   khindenburg at macports.org
Date:     2016-09-20 19:03:17 -0700 (Tue, 20 Sep 2016)
Log Message:
-----------
minisat: add patch file #52284

Added Paths:
-----------
    trunk/dports/math/minisat/files/patch-friend-declaration.diff

Added: trunk/dports/math/minisat/files/patch-friend-declaration.diff
===================================================================
--- trunk/dports/math/minisat/files/patch-friend-declaration.diff	                        (rev 0)
+++ trunk/dports/math/minisat/files/patch-friend-declaration.diff	2016-09-21 02:03:17 UTC (rev 152942)
@@ -0,0 +1,22 @@
+diff --git a/minisat/core/SolverTypes.h b/minisat/core/SolverTypes.h
+index 89986d1..aa45ddb 100644
+--- core/SolverTypes.h
++++ core/SolverTypes.h
+@@ -52,7 +52,7 @@ struct Lit {
+     int     x;
+ 
+     // Use this as a constructor:
+-    friend Lit mkLit(Var var, bool sign = false);
++    friend Lit mkLit(Var var, bool sign);
+ 
+     bool operator == (Lit p) const { return x == p.x; }
+     bool operator != (Lit p) const { return x != p.x; }
+@@ -60,7 +60,7 @@ struct Lit {
+ };
+ 
+ 
+-inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
++inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x = var + var + (int)sign; return p; }
+ inline  Lit  operator ~(Lit p)              { Lit q; q.x = p.x ^ 1; return q; }
+ inline  Lit  operator ^(Lit p, bool b)      { Lit q; q.x = p.x ^ (unsigned int)b; return q; }
+ inline  bool sign      (Lit p)              { return p.x & 1; }
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20160920/82ad851d/attachment.html>