File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change 6262relation dump_node : Node => Ident =
6363
6464 rule nodename typ => nm &
65- list_append([ATTR("label", typ)], attr) => newattr &
65+ make_label [typ] => typlbl &
66+ list_append([ATTR("label", typlbl)], attr) => newattr &
6667 make_node(nm, newattr) => out &
6768 print out &
6869 dump_children(nm, children)
@@ -124,9 +125,11 @@ relation dump_children : (Ident, Children) => () =
124125end
125126
126127
128+ (* changed use of str as part of nodename, since it may contain spaces
129+ *)
127130relation nodename : string => string =
128131
129- rule tick => i & int_string i => is & string_append(str ,is) => s
132+ rule tick => i & int_string i => is & string_append("GVNOD" ,is) => s
130133 -----------------------------------------------------------------
131134 nodename str => s
132135end
You can’t perform that action at this time.
0 commit comments