2 files changed, 12 insertions, 0 deletions
diff --git a/src/bdd/epd/epd.c b/src/bdd/epd/epd.c
index 50da97c4..f86f24f4 100644
--- a/src/bdd/epd/epd.c
+++ b/src/bdd/epd/epd.c
@@ -28,6 +28,9 @@
 #include "util_hack.h"
 #include "epd.h"
 
+ABC_NAMESPACE_IMPL_START
+
+
 
 /**Function********************************************************************
 
@@ -1312,3 +1315,5 @@ IsNanOrInfDouble(double value)
   }
   return(0);
 }
+ABC_NAMESPACE_IMPL_END
+
diff --git a/src/bdd/epd/epd.h b/src/bdd/epd/epd.h
index 66db80e3..733d7a52 100644
--- a/src/bdd/epd/epd.h
+++ b/src/bdd/epd/epd.h
@@ -25,6 +25,9 @@
 #define _EPD
 
 
+ABC_NAMESPACE_HEADER_START
+
+
 /*---------------------------------------------------------------------------*/
 /* Constant declarations                                                     */
 /*---------------------------------------------------------------------------*/
@@ -157,4 +160,8 @@ int IsInfDouble(double value);
 int IsNanDouble(double value);
 int IsNanOrInfDouble(double value);
 
+
+
+ABC_NAMESPACE_HEADER_END
+
 #endif /* _EPD */