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.
refined comment (again);
authorwenzelm
Sun, 09 Jan 2011 12:56:00 +0100
changeset 41481 820034384c18
parent 41480 9908cf4af394
child 41482 f4c07fdd1d48
refined comment (again);
src/HOL/Mirabelle/Tools/mirabelle.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mirabelle/Tools/mirabelle.ML	Sat Jan 08 11:29:25 2011 -0800
+++ b/src/HOL/Mirabelle/Tools/mirabelle.ML	Sun Jan 09 12:56:00 2011 +0100
@@ -66,7 +66,7 @@
   type T = (int * run_action * done_action) list
   val empty = []
   val extend = I
-  fun merge data = Library.merge (K true) data  (* FIXME exponential blowup because of (K true) *)
+  fun merge data = Library.merge (K true) data  (* FIXME potential data loss because of (K true) *)
 )
isabelle