1 files changed, 5 insertions, 0 deletions
diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c
index 30ad63e9..1f410705 100644
--- a/src/map/mio/mio.c
+++ b/src/map/mio/mio.c
@@ -446,6 +446,11 @@ int Mio_CommandPrintLibrary( Abc_Frame_t * pAbc, int argc, char **argv )
                 goto usage;
         }
     }
+    if ( Abc_FrameReadLibGen() == NULL )
+    {
+        printf( "Library is not available.\n" );
+        return 1;
+    }
     FileName = argv[globalUtilOptind];
     if ( argc == globalUtilOptind + 1 )
     {