1.1 --- a/src/HOL/Code_Evaluation.thy	Thu Nov 12 09:11:46 2009 +0100
     1.2 +++ b/src/HOL/Code_Evaluation.thy	Thu Nov 12 15:48:44 2009 +0100
     1.3 @@ -145,7 +145,7 @@
     1.4    (Eval "Term.Const/ ((_), (_))" and "Term.$/ ((_), (_))")
     1.5  
     1.6  code_const "term_of \<Colon> String.literal \<Rightarrow> term"
     1.7 -  (Eval "HOLogic.mk'_message'_string")
     1.8 +  (Eval "HOLogic.mk'_literal")
     1.9  
    1.10  code_reserved Eval HOLogic
    1.11