mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-08 22:45:43 +00:00
13 lines
324 B
Diff
13 lines
324 B
Diff
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 <vector>
|
|
|