Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed experimental code submitted by mistake
authorblanchet
Wed, 08 Jun 2011 08:47:43 +0200
changeset 43262 547a02d889f5
parent 43261 a4aeb26a6362
child 43263 ab9addf5165a
removed experimental code submitted by mistake
src/HOL/Tools/Metis/metis_reconstruct.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Metis/metis_reconstruct.ML	Wed Jun 08 08:47:43 2011 +0200
+++ b/src/HOL/Tools/Metis/metis_reconstruct.ML	Wed Jun 08 08:47:43 2011 +0200
@@ -706,7 +706,7 @@
       val ax_counts =
         Int_Tysubst_Table.empty
         |> fold (fn (ax_no, (_, (tysubst, _))) =>
-                    Int_Tysubst_Table.map_default ((ax_no, [](*###*)), 0)
+                    Int_Tysubst_Table.map_default ((ax_no, tysubst), 0)
                                                   (Integer.add 1)) substs
         |> Int_Tysubst_Table.dest
       val needed_axiom_props =
isabelle