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