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/HOL/Tools/ATP/atp_proof.ML
changeset 57261 49c1db0313e6
parent 57258 67d85a8aa6cc
child 57266 6a3b5085fb8f 
--- a/src/HOL/Tools/ATP/atp_proof.ML	Mon Jun 16 19:18:10 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML	Mon Jun 16 19:39:41 2014 +0200
@@ -706,7 +706,7 @@
     map map_step
   end
 
-fun nasty_name pool s = s |> Symtab.lookup pool |> the_default s
+fun nasty_name pool s = Symtab.lookup pool s |> the_default s
 
 fun nasty_atp_proof pool =
   not (Symtab.is_empty pool) ? map_term_names_in_atp_proof (nasty_name pool)
isabelle