diff --git a/collects/mrlib/graph.rkt b/collects/mrlib/graph.rkt index 0bf6e091..f344631c 100644 --- a/collects/mrlib/graph.rkt +++ b/collects/mrlib/graph.rkt @@ -180,8 +180,6 @@ [(parent) (add-parent parent #f #f #f #f)] [(parent dark-pen light-pen dark-brush light-brush) (add-parent parent dark-pen light-pen dark-brush light-brush 0 0)] - [(parent dark-pen light-pen dark-brush light-brush dx dy) - (add-parent parent dark-pen light-pen dark-brush light-brush dx dy #f)] [(parent dark-pen light-pen dark-brush light-brush dx dy) (add-parent parent dark-pen light-pen dark-brush light-brush #f #f dx dy #f)] [(parent dark-pen light-pen dark-brush light-brush dark-text light-text dx dy label)