# HG changeset patch
# User haftmann
# Date 1222412993 -7200
# Node ID 196bd0305c0d6b703fbcad7fd337c2ae704b204a
# Parent  8437fb3952941c7c5a6376739159b17240be49e1
fixed typo

diff -r 8437fb395294 -r 196bd0305c0d src/Tools/code/code_thingol.ML
--- a/src/Tools/code/code_thingol.ML	Fri Sep 26 09:09:52 2008 +0200
+++ b/src/Tools/code/code_thingol.ML	Fri Sep 26 09:09:53 2008 +0200
@@ -107,7 +107,7 @@
         let val (xs', x') = unfoldr dest x2 in (x1::xs', x') end;
 
 
-(** language core - types, pattern, expressions **)
+(** language core - types, patterns, expressions **)
 
 (* language representation *)
 
@@ -480,7 +480,7 @@
       #>> Classparam;
     fun stmt_fun trns =
       let
-        val raw_thms = Code_Funcgr.funcs funcgr c;
+        val raw_thms = Code_Funcgr.eqns funcgr c;
         val (vs, raw_ty) = Code_Funcgr.typ funcgr c;
         val ty = Logic.unvarifyT raw_ty;
         val thms = if (null o Term.typ_tfrees) ty orelse (null o fst o strip_type) ty