tweak wildcard. Fixes #1213
This commit is contained in:
parent
17054985aa
commit
4c1dc90064
|
@ -530,7 +530,7 @@ else {
|
|||
|
||||
Wildcard(w) ::= <<
|
||||
this.state = <w.stateNumber>;
|
||||
<if(w.labels)><w.labels:{l | <labelref(l)> = }><endif>matchWildcard();
|
||||
<if(w.labels)><w.labels:{l | <labelref(l)> = }><endif>this.matchWildcard();
|
||||
>>
|
||||
|
||||
// ACTION STUFF
|
||||
|
|
Loading…
Reference in New Issue