diff --git a/src/demo.c b/src/demo.c index 80eca766b..eebb8aba0 100644 --- a/src/demo.c +++ b/src/demo.c @@ -21,9 +21,6 @@ #include #include -ABC_NAMESPACE_IMPL_START - - //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -182,5 +179,3 @@ clkVer = clock() - clk; return 0; } -ABC_NAMESPACE_IMPL_END - diff --git a/src/starter.c b/src/starter.c index ce86d62b7..4f831b5d8 100644 --- a/src/starter.c +++ b/src/starter.c @@ -31,8 +31,6 @@ #include #endif -//ABC_NAMESPACE_IMPL_START - // the max number of commands to execute from the input file #define MAX_COMM_NUM 1000 @@ -190,5 +188,3 @@ usage: } -//ABC_NAMESPACE_IMPL_END -