load_plugin: remove a check that the binary exists when a plugin command runs -…

load_plugin: remove a check that the binary exists when a plugin command runs - the registration was successful, so the binary should exist. The check was remove to allow the -p option for load_plugin to work.

src/base/cmd/cmdPlugin.c

@@ -458,12 +458,6 @@ int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     // check if there is the binary
     pFileNameBinary = Abc_GetBinaryName( pAbc, argc, argv );
-    if ( (pFile = fopen( pFileNameBinary, "r" )) == NULL )
-    {
-        Abc_Print( -1, "Cannot run the binary \"%s\".\n\n", pFileNameBinary );
-        return 1;
-    }
-    fclose( pFile );
 
     // create temp file
     fd = Util_SignalTmpFile( "__abctmp_", ".aig", &pFileIn );