--- 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()){