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 81218 94bace5078ba
parent 81116 0fb1e2dd4122
child 81558 b57996a0688c 
--- a/src/Pure/Isar/specification.ML	Sun Oct 20 22:40:18 2024 +0200
+++ b/src/Pure/Isar/specification.ML	Mon Oct 21 11:55:51 2024 +0200
@@ -94,7 +94,7 @@
     fun get Cs (Const ("_type_constraint_", C) $ t) = get (C :: Cs) t
       | get Cs (Free (y, T)) =
           if x = y then
-            map_filter Term_Position.decode_positionT
+            maps Term_Position.decode_positionT
               (T :: map (Type.constraint_type ctxt) Cs)
           else []
       | get _ (t $ u) = get [] t @ get [] u
isabelle