src/Pure/ProofGeneral/pgip_isabelle.ML

 end
 
 
 fun location_of_position pos =
     let val line = Position.line_of pos
+        val column = Position.column_of pos
         val (url,descr) =
             (case Position.file_of pos of
                NONE => (NONE, NONE)
              | SOME fname =>
                let val path = Path.explode fname in
                  case ThyLoad.check_file Path.current path of
                    SOME _ => (SOME (PgipTypes.pgipurl_of_path path), NONE)
                  | NONE => (NONE, SOME fname)
                end);
     in
-        { descr=descr, url=url, line=line, column=NONE, char=NONE, length=NONE }
+        { descr=descr, url=url, line=line, column=column, char=NONE, length=NONE }
     end
 
 
 val [ObjTheoryBody,
      ObjTheoryDecl,