src/Pure/variable.ML

--- a/src/Pure/variable.ML	Wed Sep 30 19:04:48 2009 +0200
+++ b/src/Pure/variable.ML	Wed Sep 30 22:20:58 2009 +0200
@@ -89,7 +89,7 @@
 structure Data = ProofDataFun
 (
   type T = data;
-  fun init thy =
+  fun init _ =
     make_data (false, Name.context, Symtab.empty, [], Vartab.empty, Symtab.empty,
       ~1, [], (Vartab.empty, Vartab.empty));
 );