view src/isl-1-fixes.patch @ 3580:51563235a7c6

curl: update to 7.36.0 * src/curl.mk: update to 7.36.0
author John Donoghue <john.donoghue@ieee.org>
date Wed, 23 Apr 2014 20:12:41 -0400
parents 3ba1b1d89243
children 780be3cf5995
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)