From a53a0f525a5dfa7af9c4fc8042dd204f3d447a86 Mon Sep 17 00:00:00 2001 From: paulklint Date: Fri, 23 Feb 2024 10:36:46 +0100 Subject: [PATCH] Commented out duplicate function declarations --- src/org/rascalmpl/library/lang/dot/Dot.rsc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/org/rascalmpl/library/lang/dot/Dot.rsc b/src/org/rascalmpl/library/lang/dot/Dot.rsc index 8ac4dd41bab..65d7d83ee49 100644 --- a/src/org/rascalmpl/library/lang/dot/Dot.rsc +++ b/src/org/rascalmpl/library/lang/dot/Dot.rsc @@ -140,7 +140,7 @@ str oStm( E(Id from, Id to)) = "-\>"; str oStm( E(Id from, Id to, Attrs attrs)) = "-\>"; str oStm( E(NodeId from, Id to)) = "-\>"; -str oStm( E(Id from, Id to, Attrs attrs)) = "-\>"; +//str oStm( E(Id from, Id to, Attrs attrs)) = "-\>"; str oStm( E(Stm from, Id to)) = "-\>"; str oStm( E(Stm from, Id to, Attrs attrs)) = "-\>"; @@ -149,7 +149,7 @@ str oStm( E(Id from, NodeId to)) = "-\>"; str oStm( E(Id from, NodeId to, Attrs attrs)) = "-\>"; str oStm( E(NodeId from, NodeId to)) = "-\>"; -str oStm( E(Id from, NodeId to, Attrs attrs)) = "-\>"; +//str oStm( E(Id from, NodeId to, Attrs attrs)) = "-\>"; str oStm( E(Stm from, NodeId to)) = "-\>"; str oStm( E(Stm from, NodeId to, Attrs attrs)) = "-\>"; @@ -158,7 +158,7 @@ str oStm( E(Id from, Stm to)) = "-\>"; str oStm( E(Id from, Stm to, Attrs attrs)) = "-\>"; str oStm( E(NodeId from, Stm to)) = "-\>"; -str oStm( E(Id from, Stm to, Attrs attrs)) = "-\>"; +//str oStm( E(Id from, Stm to, Attrs attrs)) = "-\>"; str oStm( E(Stm from, Stm to)) = "-\>"; str oStm( E(Stm from, Stm to, Attrs attrs)) = "-\>";