diff options
Diffstat (limited to 'src/www/gfse/gf_abs.js')
| -rw-r--r-- | src/www/gfse/gf_abs.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gfse/gf_abs.js b/src/www/gfse/gf_abs.js index 2809b2e32..2530a20db 100644 --- a/src/www/gfse/gf_abs.js +++ b/src/www/gfse/gf_abs.js @@ -271,10 +271,10 @@ function show_concrete(g) { +show_extends((g.extends || []).map(conc_extends(conc))) +show_opens(conc.opens) +"{\n\nflags coding = utf8 ;\n\n" - +show_params(conc.params) +show_lincats(conc.lincats) - +show_opers(conc.opers) +show_lins(conc.lins) + +show_params(conc.params) + +show_opers(conc.opers) +"}\n" } } |