From a3bf663a05f92950b1e6ed7a4f0cf2aeafff5670 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 19 Apr 2007 22:04:39 +0200
Subject: [PATCH] edomain.cc: avoid use of fdstream

fdstream doesn't work on very old compilers
---
 Makefile.am | 2 --
 edomain.cc  | 4 +++-
 edomain.h   | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 93642c8..f484ad9 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -148,8 +148,6 @@ lexmin_SOURCES = \
 	edomain.h \
 	evalue_util.cc \
 	evalue_util.h \
-	fdstream.cc \
-	fdstream.h \
 	$(POLYSIGN) \
 	polysign.c \
 	polysign_polylib.c \
diff --git a/edomain.cc b/edomain.cc
index c05834a..69168e6 100644
--- a/edomain.cc
+++ b/edomain.cc
@@ -1,5 +1,5 @@
 #include <sstream>
-#include "fdstream.h"
+//#include "fdstream.h"
 #include <barvinok/util.h>
 #include <barvinok/sample.h>
 #include <barvinok/barvinok.h>
@@ -160,6 +160,7 @@ void EDomain::print_constraints(ostream& os, char **p,
     }
 }
 
+/*
 void EDomain::print(FILE *out, char **p)
 {
     fdostream os(dup(fileno(out)));
@@ -170,6 +171,7 @@ void EDomain::print(FILE *out, char **p)
     }
     Polyhedron_Print(out, P_VALUE_FMT, D);
 }
+*/
 
 static int type_offset(enode *p)
 {
diff --git a/edomain.h b/edomain.h
index a91220a..6fcbdb8 100644
--- a/edomain.h
+++ b/edomain.h
@@ -85,7 +85,7 @@ struct EDomain {
 		return i;
 	return -1;
     }
-    void print(FILE *out, char **p);
+    //void print(FILE *out, char **p);
     void print_constraints(std::ostream& os, char **p,
 			   barvinok_options *options) const;
     ~EDomain() {
-- 
2.11.4.GIT