diff options
-rw-r--r-- | src/demo.c | 5 | ||||
-rw-r--r-- | src/starter.c | 4 |
2 files changed, 0 insertions, 9 deletions
@@ -21,9 +21,6 @@ #include <stdio.h> #include <time.h> -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 ce86d62b..4f831b5d 100644 --- a/src/starter.c +++ b/src/starter.c @@ -31,8 +31,6 @@ #include <unistd.h> #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 - |