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/Tools/simplifier_trace.scala
changeset 55555 9c16317c91d1
parent 55553 99409ccbe04a
child 55771 a421f1ccfc9f 
--- a/src/Pure/Tools/simplifier_trace.scala	Tue Feb 18 18:43:31 2014 +0100
+++ b/src/Pure/Tools/simplifier_trace.scala	Tue Feb 18 18:43:47 2014 +0100
@@ -80,7 +80,7 @@
     }
   }
 
-  val all_answers = Answer.step.all ++ Answer.hint_fail.all
+  val all_answers: List[Answer] = Answer.step.all ::: Answer.hint_fail.all
 
   object Active
   {
isabelle