1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.c b/src/aig/gia/gia.c
index d57a4a74..cf7c0ddd 100644
--- a/src/aig/gia/gia.c
+++ b/src/aig/gia/gia.c
@@ -381,7 +381,7 @@ void Gia_EnumPerms( int nVars )
     nLogVars = Abc_Base2Log( Count );
     printf( "Need %d variables to encode %d sets.\n", nLogVars, Count );
     Count = 0;
-    fprintf( pFile, ".i %d\n", 10 );
+    fprintf( pFile, ".i %d\n", nLogVars );
     fprintf( pFile, ".o %d\n", nVars*nVars );
     Gia_EnumPerms_rec( pUsed, nVars, pPerm, 0, &Count, pFile, nLogVars );   
     fprintf( pFile, ".e\n" );