--- 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