Closed jhill1 closed 2 years ago
@stephankramer Can this one be merged considering CI returned green?
Yeah I think so. I guess this means we're not testing with CGAL at the moment, so no idea whether this has helped - but (after rerunning make makefiles) it shouldn't have an effect on the normal no-CGAL case.
Really minor change so cgal will compile. Not tested running the code.