diff --git a/src/base/io/io.c b/src/base/io/io.c
index 7894caa10..6135805ee 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -206,6 +206,8 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
         sprintf( Command, "read_liberty %s", pFileName );
     else if ( !strcmp( Extra_FileNameExtension(pFileName), "scl" ) )
         sprintf( Command, "read_scl %s", pFileName );
+    else if ( !strcmp( Extra_FileNameExtension(pFileName), "c" ) )
+        sprintf( Command, "so %s", pFileName );
     if ( Command[0] )
     {
         Cmd_CommandExecute( pAbc, Command );