comby-tools · rvantonder · Apr 6, 2021
diff --git a/lib/dune b/lib/dune
@@ -10,5 +10,4 @@
    comby_js.matchers
    comby_js.pipeline
    comby_js.replacement
-   comby_js.rewriter
-   comby_js.statistics))
+   comby_js.rewriter))
diff --git a/lib/statistics/dune b/lib/statistics/dune
diff --git a/lib/statistics/statistics.ml b/lib/statistics/statistics.ml
diff --git a/lib/statistics/statistics.mli b/lib/statistics/statistics.mli
diff --git a/lib/statistics/time.ml b/lib/statistics/time.ml