src/Pure/Tools/named_theorems.ML
changeset 59878 05362c246a64
parent 59028 df7476e79558
child 59879 6292f1f5ffae
--- a/src/Pure/Tools/named_theorems.ML	Tue Mar 31 15:29:09 2015 +0200
+++ b/src/Pure/Tools/named_theorems.ML	Tue Mar 31 16:43:49 2015 +0200
@@ -86,7 +86,7 @@
       let
         val thy = Proof_Context.theory_of ctxt;
         val name = Global_Theory.check_fact thy (xname, pos);
-        val _ = get ctxt name handle ERROR msg => cat_error msg (Position.here pos);
+        val _ = get ctxt name handle ERROR msg => error (msg ^ Position.here pos);
       in ML_Syntax.print_string name end)));
 
 end;