From a2a37bc9125906785830c62e6fa85529d428d63b Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 30 Oct 2007 13:17:54 +0000
Subject: mock up variables for js

---
 examples/math/Math.gf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'examples/math/Math.gf')

diff --git a/examples/math/Math.gf b/examples/math/Math.gf
index d5cbe9196..35cfcbfdc 100644
--- a/examples/math/Math.gf
+++ b/examples/math/Math.gf
@@ -21,6 +21,8 @@ fun
   LString : String -> Label ;
   VString : String -> Var ;
 
+  V_x, V_y, V_z : Var ; --- for js
+
   PLink : Proof ;
 
 -- lexicon
-- 
cgit v1.2.3