From 6e9bdc8b2ea0798c7f8f39b3e66749e97984420d Mon Sep 17 00:00:00 2001
From: gustavo <gustavo>
Date: Mon, 8 Feb 1999 16:11:55 +0000
Subject: [PATCH] some bug fix

---
 eo/configure.in |  2 +-
 eo/src/eoBin.h  | 16 +++++++++++++++-
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/eo/configure.in b/eo/configure.in
index 0fcbd1c0e..d28c58ac5 100644
--- a/eo/configure.in
+++ b/eo/configure.in
@@ -6,7 +6,7 @@ AM_CONFIG_HEADER(config.h:config.in)
 
 AC_PROG_CXX
 
-AC_CHECK_HEADERS(bvector.h)
+AC_CHECK_HEADERS(vector bvector.h)
 AC_EGREP_HEADER(bit_vector, bvector.h, AC_DEFINE(HAVE_BIT_VECTOR))
 
 AM_PROG_LIBTOOL
diff --git a/eo/src/eoBin.h b/eo/src/eoBin.h
index 048ce5fef..148a55ab8 100644
--- a/eo/src/eoBin.h
+++ b/eo/src/eoBin.h
@@ -8,7 +8,21 @@
 //-----------------------------------------------------------------------------
 
 #include <iostream>     // ostream, istream
-#include <bvector.h>    // bit_vector
+#include <function.h>   // bind2nd
+
+#ifdef HAVE_BVECTOR_H
+#include <bvector.h>
+#error "incluyo bvector.h"
+#elseif
+#ifdef HAVE_VECTOR
+#include <vector>
+#define bit_vector vector<bool>
+#error "incluyo vector"
+#elseif
+#error "are you kidding?"
+#endif
+#endif
+
 #include <string>       // string
 #include <EO.h>         // EO