# HG changeset patch
# User wenzelm
# Date 1620659737 -7200
# Node ID dceb5dde442f49143a41b3e52fdf643ff5fbcc05
# Parent  0476728f28878cfd971be2688c9f95f769b34dbd
proper settings variable, amending 6e85281177df;

diff -r 0476728f2887 -r dceb5dde442f src/HOL/ROOT
--- a/src/HOL/ROOT	Mon May 10 16:26:15 2021 +0200
+++ b/src/HOL/ROOT	Mon May 10 17:15:37 2021 +0200
@@ -955,7 +955,7 @@
     SMT_Word_Examples
     SMT_Examples_Verit
     SMT_Tests_Verit
-  theories [condition = Z3_SOLVER]
+  theories [condition = Z3_INSTALLED]
     SMT_Tests
 
 session "HOL-SPARK" in "SPARK" = HOL +