--- a/src/Pure/build-jars Sat Apr 19 19:03:32 2014 +0200
+++ b/src/Pure/build-jars Sat Apr 19 19:52:02 2014 +0200
@@ -85,7 +85,6 @@
Tools/main.scala
Tools/ml_statistics.scala
Tools/simplifier_trace.scala
- Tools/sledgehammer_params.scala
Tools/task_statistics.scala
library.scala
package.scala