--- 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