diff options
Diffstat (limited to 'src/editor/simple/gf_abs.js')
| -rw-r--r-- | src/editor/simple/gf_abs.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/editor/simple/gf_abs.js b/src/editor/simple/gf_abs.js index e40a868bc..bd3db7d93 100644 --- a/src/editor/simple/gf_abs.js +++ b/src/editor/simple/gf_abs.js @@ -151,7 +151,8 @@ function show_grammar(g) { } function show_abstract(g) { - var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat; +// var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat; + var startcat= g.abstract.startcat || g.abstract.cats[0]; return "abstract "+g.basename+" = {\n\n" +"flags coding = utf8 ;\n\n" +show_startcat(startcat) |