view src/gcc-isl-1-fixes.patch @ 3910:569e31212bb6

of-stk: add to mxe * src/of-stk.mk: new file * dist-files.mk: add of-stk.mk * index.html: add stk * Makefile.in: add stk to forge packages * build_packages.m: add stk
author John Donoghue
date Fri, 17 Apr 2015 08:24:07 -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)