From 5f09917c22f69670a62a8ea49dcaea299b4bf95a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 20 Sep 2012 19:51:39 -0700
Subject: Added simplification before the concurrent call to PDR.

---
 src/base/io/io.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/base/io/io.c')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 6135805e..d6b6e91b 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -195,8 +195,8 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
     pFileName = argv[globalUtilOptind];
     // fix the wrong symbol
     for ( pTemp = pFileName; *pTemp; pTemp++ )
-        if ( *pTemp == '>' )
-            *pTemp = '\\';
+        if ( *pTemp == '>' || *pTemp == '\\' )
+            *pTemp = '/';
     // read libraries
     Command[0] = 0;
     assert( strlen(pFileName) < 900 );
-- 
cgit v1.2.3