diff options
Diffstat (limited to 'src/opt/rwr/rwrPrint.c')
-rw-r--r-- | src/opt/rwr/rwrPrint.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/rwr/rwrPrint.c b/src/opt/rwr/rwrPrint.c index 5574df88..11a084d3 100644 --- a/src/opt/rwr/rwrPrint.c +++ b/src/opt/rwr/rwrPrint.c @@ -18,7 +18,6 @@ ***********************************************************************/ -#include "extra.h" #include "rwr.h" ABC_NAMESPACE_IMPL_START |