# HG changeset patch
# User wenzelm
# Date 1620649717 -7200
# Node ID 6e85281177df04e21f01a177674c515bd996b841
# Parent  d9823224fcfe4c614ac4d0275c8ea00c4e8ec06f
proper condition: z3 could be absent, e.g. on arm64-linux;

diff -r d9823224fcfe -r 6e85281177df src/HOL/ROOT
--- a/src/HOL/ROOT	Mon May 10 12:23:30 2021 +0200
+++ b/src/HOL/ROOT	Mon May 10 14:28:37 2021 +0200
@@ -953,9 +953,10 @@
     Boogie
     SMT_Examples
     SMT_Word_Examples
-    SMT_Tests
+    SMT_Examples_Verit
     SMT_Tests_Verit
-    SMT_Examples_Verit
+  theories [condition = Z3_SOLVER]
+    SMT_Tests
 
 session "HOL-SPARK" in "SPARK" = HOL +
   sessions