From e94ccfd3fb07d22ed426e0386ccf536e470744b7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 8 May 2008 08:01:00 -0700 Subject: Version abc80508 --- src/base/io/ioWriteAiger.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/io/ioWriteAiger.c') diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index 758e5335..fb107e77 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -19,7 +19,7 @@ ***********************************************************************/ -#include "io.h" +#include "ioAbc.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// -- cgit v1.2.3