changeset 27398 | 768da1da59d6 |
parent 26975 | 103dca19ef2e |
child 28370 | 37f56e6e702d |
--- a/src/HOL/Tools/recfun_codegen.ML Mon Jun 30 13:41:31 2008 +0200 +++ b/src/HOL/Tools/recfun_codegen.ML Mon Jun 30 13:41:33 2008 +0200 @@ -73,7 +73,7 @@ else (preprocess thy (map fst thms'), case snd (snd (split_last thms')) of NONE => (case get_defn thy defs s T of - NONE => thyname_of_const s thy + NONE => Codegen.thyname_of_const thy s | SOME ((_, (thyname, _)), _) => thyname) | SOME thyname => thyname) end);