# HG changeset patch
# User Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
# Date 1602869677 -7200
# Node ID e4d707eb7d1bff22384271f7121d14f9e89ee39f
# Parent  a0066948e7dfad8993ade407452c65a2b27c1c17
reactivate veriT after changing options in 11f645d25498

diff -r a0066948e7df -r e4d707eb7d1b Admin/components/main
--- a/Admin/components/main	Fri Oct 16 15:09:41 2020 +0200
+++ b/Admin/components/main	Fri Oct 16 19:34:37 2020 +0200
@@ -22,4 +22,5 @@
 stack-2.1.3
 vampire-4.2.2
 xz-java-1.8
+verit-2020.10-rmx-1
 z3-4.4.0pre-3
diff -r a0066948e7df -r e4d707eb7d1b src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Oct 16 15:09:41 2020 +0200
+++ b/src/HOL/ROOT	Fri Oct 16 19:34:37 2020 +0200
@@ -932,7 +932,6 @@
     SMT_Examples
     SMT_Word_Examples
     SMT_Tests
-  theories [condition = ISABELLE_VERIT]
     SMT_Tests_Verit
     SMT_Examples_Verit