view src/gcc-isl-1-fixes.patch @ 3715:cffa8fa688ed

build: update --enable-stable option to reflect that it is the default * configure.ac: change --enable-stable help to --disable-stable
author John Donoghue
date Tue, 23 Sep 2014 07:57:16 -0400
parents 3ba1b1d89243
children
line wrap: on
line source

diff -ur a/include/isl/int.h b/include/isl/int.h
--- a/include/isl/int.h	2012-11-29 03:47:32.000000000 -0500
+++ b/include/isl/int.h	2014-02-19 02:44:04.311137242 -0500
@@ -14,7 +14,7 @@
 #include <string.h>
 #include <gmp.h>
 #if defined(__cplusplus)
-#include <iostream>
+#include <ostream>
 #endif
 
 #if defined(__cplusplus)