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