Fix typo in jEdit plugin code
parent
ecfbed74de
commit
dd55f01f10
|
@ -68,7 +68,7 @@ namespaces parser prettyprint sequences strings words shells ;
|
||||||
dup definer ,
|
dup definer ,
|
||||||
dup word-vocabulary ,
|
dup word-vocabulary ,
|
||||||
dup word-name ,
|
dup word-name ,
|
||||||
stack-effect effect>string ,
|
stack-effect dup [ effect>string ] when ,
|
||||||
] [ ] make
|
] [ ] make
|
||||||
] when ;
|
] when ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue