Fix bug 2485: update dotty's parser to accept two level port syntax

diff --git a/cmd/lefty/dot2l/dotparse.y b/cmd/lefty/dot2l/dotparse.y
index a5e1e41c7a62e2d10811aa853508fbca7ed2684b..212f2b81f5524bf93a3e5750e5e72f9f373133ec 100644 (file)
--- a/cmd/lefty/dot2l/dotparse.y
+++ b/cmd/lefty/dot2l/dotparse.y
@@ -135,12 +135,11 @@ port_location: ':' T_id
     {
         strcat (portstr, $2); free ($2);
     }
-| ':' '(' T_id ',' T_id ')'
+| ':' T_id ':' T_id 
     {
-        strcat (portstr, "("); strcat (portstr, $3);
-        strcat (portstr, ","); strcat (portstr, $5);
-        strcat (portstr, ")");
-        free ($3), free ($5);
+        strcat (portstr, $2);
+        strcat (portstr, ":"); strcat (portstr, $4);
+        free ($2), free ($4);
     }
 ;