1 files changed, 5 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
+