diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-01 18:11:58 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-01 18:11:58 +0000 |
| commit | 7f4038e0a89823fe8885f7a006e6b7cb697396ff (patch) | |
| tree | 8afa58549970d11a77956a49daae73af0e3e1f6c /src | |
| parent | 1100f8792506651ae13c2be406915cef68795f2d (diff) | |
gfse: bug fix
Fix a problem opening grammars created before grammar extension was introduced.
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() { |