src/Pure/facts.ML

--- a/src/Pure/facts.ML	Wed Aug 29 11:31:07 2012 +0200
+++ b/src/Pure/facts.ML	Wed Aug 29 11:48:45 2012 +0200
@@ -100,7 +100,7 @@
         val n = length ths;
         fun err msg =
           error (msg ^ " for " ^ quote name ^ " (length " ^ string_of_int n ^ ")" ^
-            Position.str_of pos);
+            Position.here pos);
         fun sel i =
           if i < 1 orelse i > n then err ("Bad subscript " ^ string_of_int i)
           else nth ths (i - 1);