--- source/libnormaliz/nmz_integral.cpp.orig 2018-06-27 03:42:43.000000000 -0600
+++ source/libnormaliz/nmz_integral.cpp 2018-08-09 09:50:27.587238270 -0600
@@ -403,7 +403,7 @@ try{
vector<Integer> test_grading=C.getSublattice().to_sublattice_dual_no_div(C.getGrading());
Integer corr_factor=v_gcd(test_grading);
mpz_class corr_mpz=convertTo<mpz_class>(corr_factor);
- I*=BigInt(corr_mpz.get_mpz_t());
+ I*=BigIntFromMPZ(corr_mpz.get_mpz_t());
string result="Integral";
if(do_virt_mult)