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/code.ML
changeset 39020 ac0f24f850c9
parent 38667 8494cb38cbf7
child 39134 917b4b6ba3d2 
--- a/src/Pure/Isar/code.ML	Wed Sep 01 15:10:12 2010 +0200
+++ b/src/Pure/Isar/code.ML	Wed Sep 01 15:33:59 2010 +0200
@@ -282,7 +282,7 @@
   then NONE
   else thy
     |> (Code_Data.map o apfst)
-        ((map_functions o Symtab.map) (fn ((changed, current), history) =>
+        ((map_functions o Symtab.map) (fn _ => fn ((changed, current), history) =>
           ((false, current),
             if changed then (serial (), current) :: history else history))
         #> map_history_concluded (K true))
isabelle