diff -r 16ca270090b6 -r 5426d266dcc5 src/Tools/ROOT
--- a/src/Tools/ROOT	Mon Nov 05 17:06:50 2018 +0100
+++ b/src/Tools/ROOT	Mon Nov 05 17:37:55 2018 +0100
@@ -13,4 +13,4 @@
   theories
     Haskell
   theories [condition = ISABELLE_GHC]
-    Build
+    Test