3aff74a7a2
Fixes #7723 Refs 8af39c1cf725be2f42b8d104cf39f2cd74840cac Refs 5cd11989c55e32df83cf5c4bc257bb6825b4e889
13 lines
383 B
Diff
13 lines
383 B
Diff
diff -ru isl-0.11.1/include/isl/int.h isl-0.11.1.new/include/isl/int.h
|
|
--- isl-0.11.1/include/isl/int.h 2012-11-29 09:47:32.000000000 +0100
|
|
+++ isl-0.11.1.new/include/isl/int.h 2013-10-27 15:35:31.348553812 +0100
|
|
@@ -14,7 +14,7 @@
|
|
#include <string.h>
|
|
#include <gmp.h>
|
|
#if defined(__cplusplus)
|
|
-#include <iostream>
|
|
+#include <ostream>
|
|
#endif
|
|
|
|
#if defined(__cplusplus)
|