From 2394a09cc09411bf2c179d4e0e7d42c49d796f66 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 1 Mar 2012 18:11:58 +0000
Subject: [PATCH] gfse: bug fix

Fix a problem opening grammars created before grammar extension was introduced.
---
 src/www/gfse/editor.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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() {