Diabling compact AIGER writing by default.

bea33c05 · Alan Mishchenko · d82142cb · bea33c05
Commit bea33c05 authored Jul 07, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/io/io.c
+1 -1

No files found.
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -1387,7 +1387,7 @@ int IoCommandWriteAiger( Abc_Frame_t * pAbc, int argc, char **argv )
    int c;

    fWriteSymbols = 0;
-    fCompact      = 1;
+    fCompact      = 0;
    fUnique       = 0;
    fVerbose      = 0;
    Extra_UtilGetoptReset();