From 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 18 Oct 2012 12:48:39 +0000
Subject: gfse: grammars can now contain one-line descriptions

Also fixed two small problems with public grammars.
---
 src/www/gfse/gf_abs.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/www/gfse/gf_abs.js')

diff --git a/src/www/gfse/gf_abs.js b/src/www/gfse/gf_abs.js
index a66af812e..a234db753 100644
--- a/src/www/gfse/gf_abs.js
+++ b/src/www/gfse/gf_abs.js
@@ -9,6 +9,7 @@ type FunId = Id -- function name
 type Type = [Cat] -- [Cat_1,...,Cat_n] means Cat_1 -> ... -> Cat_n
 
 type Grammar  = { basename: ModId,
+                  comment: String,
                   extends: [ModId], -- in 1-to-1 correspondence with uextends
 		  uextends: [UniqueId], -- added 2012-10-16
                   abstract: Abstract,
-- 
cgit v1.2.3