Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/specification.ML
changeset 71674 48ff625687f5
parent 71217 2dee5cd42fde
child 74230 d637611b41bd 
--- a/src/Pure/Isar/specification.ML	Fri Apr 03 12:45:14 2020 +0200
+++ b/src/Pure/Isar/specification.ML	Fri Apr 03 13:51:56 2020 +0200
@@ -323,7 +323,7 @@
 fun gen_alias decl check (b, arg) lthy =
   let
     val (c, reports) = check {proper = true, strict = false} lthy arg;
-    val _ = Position.reports reports;
+    val _ = Context_Position.reports lthy reports;
   in decl b c lthy end;
 
 val alias =
isabelle