diff --git a/src/normaliz.cc b/src/normaliz.cc index 979152d..f4a5748 100644 --- a/src/normaliz.cc +++ b/src/normaliz.cc @@ -26,7 +26,7 @@ #include "compiled.h" // GAP headers #include "libnormaliz/cone.h" -#include "libnormaliz/map_operations.h" +#include "libnormaliz/list_and_map_operations.h" #include