1.1 --- a/src/Tools/code/code_wellsorted.ML	Sun Apr 05 23:19:39 2009 +0200
     1.2 +++ b/src/Tools/code/code_wellsorted.ML	Mon Apr 06 08:24:55 2009 +0200
     1.3 @@ -95,6 +95,7 @@
     1.4  val empty_vardeps_data : vardeps_data =
     1.5    (Vargraph.empty, (Symtab.empty, []));
     1.6  
     1.7 +
     1.8  (* retrieving equations and instances from the background context *)
     1.9  
    1.10  fun obtain_eqns thy eqngr c =