view src/isl-1-fixes.patch @ 3552:b82ff8ba6a8a

nsis-installer: check for win8 version and set -i --line-editing in shortcuts * makeinst-script.sh: add --line-editing to gui and commandline launcher shortcuts when in windows 8.
author John Donoghue <john.donoghue@ieee.org>
date Tue, 25 Feb 2014 18:29:43 -0500
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)