--- a/src/HOL/ex/CodeEval.thy Thu Sep 21 12:22:05 2006 +0200 +++ b/src/HOL/ex/CodeEval.thy Thu Sep 21 14:44:30 2006 +0200 @@ -125,7 +125,7 @@ structure Eval : EVAL = struct -val eval_ref = ref NONE; +val eval_ref = ref (NONE : term option); fun eval_term thy t = CodegenPackage.eval_term