--- source/libnormaliz/nmz_nauty.cpp.orig 2019-09-09 02:59:49.000000000 -0600 +++ source/libnormaliz/nmz_nauty.cpp 2019-09-14 13:48:15.337999498 -0600 @@ -81,7 +81,7 @@ void makeMM_euclidean(BinaryMatrix& MM, val=v_scalar_product(diff,diff); } else{ - val=val=v_scalar_product(Generators[i],SpecialLinForms[j-mm]); + val=v_scalar_product(Generators[i],SpecialLinForms[j-mm]); } auto v=Values.find(val); if(v!=Values.end()){