--- source/libnormaliz/cone.cpp.orig 2019-11-25 07:09:56.000000000 -0700
+++ source/libnormaliz/cone.cpp 2019-11-26 08:29:22.965060928 -0700
@@ -4903,7 +4903,7 @@ void Cone<Integer>::try_symmetrization(C
for (size_t j = 1; j < multiplicitie; ++j)
fact *= j;
}
- polynomial += "/" + fact.get_str() + ";";
+ polynomial += "/" + fact.get_str();
#ifdef NMZ_COCOA