blob: 35a28c8cf2a3dad84f14445ecdb93b09587123cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
diff -U 3 -dHrN Normaliz2.12/source/libnormaliz/general.h Normaliz2.12.patched/source/libnormaliz/general.h
--- Normaliz2.12/source/libnormaliz/general.h 2014-10-23 15:01:56.000000000 +0200
+++ Normaliz2.12.patched/source/libnormaliz/general.h 2015-03-01 13:20:01.057017555 +0100
@@ -27,6 +27,7 @@
#include <iostream>
#include <assert.h>
+#include <cstddef>
#ifdef _WIN32 //for 32 and 64 bit windows
#define NMZ_MPIR //always use MPIR
|
GitWeb
