view src/isl-1-fixes.patch @ 3578:583d3bf548e6

texinfo: update to 5.2 and install all tools * src/texinfo.mk: update to 5.2 and make/make install all. * src/texinfo-1-fixes.patch: updated patch for 5.2.
author John Donoghue <john.donoghue@ieee.org>
date Tue, 15 Apr 2014 21:32:17 -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)