# HG changeset patch
# User wenzelm
# Date 1689087540 -7200
# Node ID 4c8b0467994457e9ebb1cf928451f7ea40ad69e2
# Parent  b04ac8a017b2d7d48d9ff599afd9777cd4e628bb
clarified signature;

diff -r b04ac8a017b2 -r 4c8b04679944 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Tue Jul 11 16:51:52 2023 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Tue Jul 11 16:59:00 2023 +0200
@@ -1253,8 +1253,8 @@
 {-# LANGUAGE OverloadedStrings #-}
 
 module Isabelle.Position (
-  T, line_of, column_of, offset_of, end_offset_of, file_of, id_of,
-  start, none, put_file, file, file_only, put_id, id, id_only,
+  T, line_of, column_of, offset_of, end_offset_of, label_of, file_of, id_of,
+  start, none, label, put_file, file, file_only, put_id, id, id_only,
   symbol, symbol_explode, symbol_explode_string, shift_offsets,
   of_properties, properties_of, def_properties_of, entity_markup, make_entity_markup,
   Report, Report_Text, is_reported, is_reported_range, here,