--- source/libnormaliz/cone.cpp.orig 2020-02-13 08:55:43.000000000 -0700
+++ source/libnormaliz/cone.cpp 2020-02-19 20:10:41.770746818 -0700
@@ -5321,7 +5321,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