From 93d14368b2aab980a0091755fbe472be6e2bbab9 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 11 Apr 2014 20:08:12 +0000
Subject: [PATCH] gftranslate.js: switch to Translate11.pgf

---
 src/www/js/gftranslate.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/www/js/gftranslate.js b/src/www/js/gftranslate.js
index be97ab7aa..c5acaa988 100644
--- a/src/www/js/gftranslate.js
+++ b/src/www/js/gftranslate.js
@@ -3,7 +3,7 @@
 
 var gftranslate = {}
 
-gftranslate.jsonurl="/robust/Translate10.pgf"
+gftranslate.jsonurl="/robust/Translate11.pgf"
 gftranslate.grammar="Translate" // the name of the grammar
 
 gftranslate.call=function(querystring,cont) {