diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/editor.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 809aee4df..b0a5636d5 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -460,7 +460,8 @@ function draw_abstract(g) { var kw_fun = kw("fun"); kw_fun.title = "The functions (productions) of the grammar are enumerated here. [C.3.4]"; - var flags=g.abstract.startcat||g.abstract.cats.length>1||g.extends.length>0 + var flags=g.abstract.startcat || g.abstract.cats.length>1 + || g.extends && g.extends.length>0 ? draw_startcat(g) : text(""); function sort_funs() { |