Hi,<div><br></div><div>I&#39;m trying to compile ppl 0.12.1 on OSX 10.4 (aka Tiger) and I&#39;m getting this error:</div><div><br></div><div><div>src/Congruence_System.cc: In member function &#39;void Parma_Polyhedra_Library::Congruence_System::insert(const Parma_Polyhedra_Library::Congruence_System&amp;)&#39;:</div>
<div>src/Congruence_System.cc:183: error: no matching function for call to &#39;swap(Parma_Polyhedra_Library::Dense_Row&amp;, Parma_Polyhedra_Library::Congruence&amp;)&#39;</div></div><div><br></div><div>Basically, Tiger is complaining there&#39;s no way to call std:swap() with a Dense_Row object and a Congruence object.</div>
<div><br></div><div>I tried to replace the swap() call, hand-coding what it&#39;s expected to do, but then the compiler also complains about the assignment operator between such objects, and it won&#39;t compile (I tried both using a Dense_Row object and a Congruence object as the temporary object for the swapping, but both approaches failed).</div>
<div><br></div><div>Do you guess some way of rewriting such swap() call so that it would compile on my machine?</div><div><br></div><div>Btw, yes, I know, Tiger is old, and yes, I can use a newer machine, but if you imagine a way of compiling that line it will be of great help because this is my machine at home.</div>
<div><br></div><div>TIA</div><div><br></div><div>ardi</div>