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/Tools/IsaPlanner/rw_inst.ML
changeset 33317 b4534348b8fd
parent 33042 ddf1f03a9ad9
child 35845 e5980f0ad025 
--- a/src/Tools/IsaPlanner/rw_inst.ML	Thu Oct 29 16:59:12 2009 +0100
+++ b/src/Tools/IsaPlanner/rw_inst.ML	Thu Oct 29 17:58:26 2009 +0100
@@ -169,7 +169,7 @@
                        OldTerm.add_term_tfrees (t,tfrees)))
                   ([],[]) ts;
         val unfixed_tvars = 
-            List.filter (fn (ix,s) => not (member (op =) ignore_ixs ix)) tvars;
+            filter (fn (ix,s) => not (member (op =) ignore_ixs ix)) tvars;
         val (fixtyinsts, _) = List.foldr new_tfree ([], map fst tfrees) unfixed_tvars
     in (fixtyinsts, tfrees) end;
isabelle