STORM-IRIT/OpenGR

Unused variables

afabri opened this issue · 0 comments

afabri commented

We get a warning in CGAL when using OpenGR for the variables offset and end