From 3a1ca9fa0ebfb2ae431501067d1a1a63fe6ecba5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Nov 2005 08:01:00 -0800
Subject: Version abc51127

---
 src/base/io/io.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/io/io.c')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index e5f8b9a1..1330d114 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -1101,7 +1101,7 @@ int IoCommandWriteDot( Abc_Frame_t * pAbc, int argc, char **argv )
     FileName = argv[util_optind];
     // write the file
     vNodes = Abc_NtkCollectObjects( pAbc->pNtkCur );
-    Io_WriteDot( pAbc->pNtkCur, vNodes, NULL, FileName, 0 );
+    Io_WriteDotAig( pAbc->pNtkCur, vNodes, NULL, FileName, 0 );
     Vec_PtrFree( vNodes );
     return 0;
 
-- 
cgit v1.2.3