# HG changeset patch
# User wenzelm
# Date 957556678 -7200
# Node ID 9d01c9a261345667831c1cbc4a0fbda371bcf160
# Parent  e3688ef49f12069360e3f9ec4ef4c132de0119c2
tuned msg;

diff -r e3688ef49f12 -r 9d01c9a26134 src/Pure/context.ML
--- a/src/Pure/context.ML	Fri May 05 18:24:06 2000 +0200
+++ b/src/Pure/context.ML	Fri May 05 21:57:58 2000 +0200
@@ -56,7 +56,7 @@
 fun pass_theory thy f x =
   (case pass (Some thy) f x of
     (y, Some thy') => (y, thy')
-  | (_, None) => error "Missing ML theory context");
+  | (_, None) => error "Lost theory context in ML");
 
 fun save f x = setmp (get_context ()) f x;