diff --git a/STL_Extension/include/CGAL/Uncertain.h b/STL_Extension/include/CGAL/Uncertain.h index d68508a820d..99133df0c31 100644 --- a/STL_Extension/include/CGAL/Uncertain.h +++ b/STL_Extension/include/CGAL/Uncertain.h @@ -275,37 +275,37 @@ Uncertain operator!(Uncertain a) inline Uncertain operator|(Uncertain a, Uncertain b) { - return Uncertain(a.inf() || b.inf(), a.sup() || b.sup()); + return Uncertain(a.inf() | b.inf(), a.sup() | b.sup()); } inline Uncertain operator|(bool a, Uncertain b) { - return Uncertain(a || b.inf(), a || b.sup()); + return Uncertain(a | b.inf(), a | b.sup()); } inline Uncertain operator|(Uncertain a, bool b) { - return Uncertain(a.inf() || b, a.sup() || b); + return Uncertain(a.inf() | b, a.sup() | b); } inline Uncertain operator&(Uncertain a, Uncertain b) { - return Uncertain(a.inf() && b.inf(), a.sup() && b.sup()); + return Uncertain(a.inf() & b.inf(), a.sup() & b.sup()); } inline Uncertain operator&(bool a, Uncertain b) { - return Uncertain(a && b.inf(), a && b.sup()); + return Uncertain(a & b.inf(), a & b.sup()); } inline Uncertain operator&(Uncertain a, bool b) { - return Uncertain(a.inf() && b, a.sup() && b); + return Uncertain(a.inf() & b, a.sup() & b); }