--- a/src/HOL/ROOT Wed Oct 14 22:30:18 2020 +0200
+++ b/src/HOL/ROOT Thu Oct 15 13:24:16 2020 +0200
@@ -932,7 +932,7 @@
SMT_Examples
SMT_Word_Examples
SMT_Tests
- theories[condition=VERIT_SOLVER]
+ theories [condition = ISABELLE_VERIT]
SMT_Tests_Verit
SMT_Examples_Verit