From 5344d42536463fa35194cf02a5a903ca76d90701 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Sun, 6 Apr 2014 19:59:04 +0000
Subject: [PATCH] gftranslate.js: use Translate10.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 eee81e033..85914f8ae 100644
--- a/src/www/js/gftranslate.js
+++ b/src/www/js/gftranslate.js
@@ -3,7 +3,7 @@
 
 var gftranslate = {}
 
-gftranslate.jsonurl="/robust/Translate8.pgf"
+gftranslate.jsonurl="/robust/Translate10.pgf"
 gftranslate.grammar="Translate" // the name of the grammar
 
 gftranslate.call=function(querystring,cont) {