proper settings variable, amending 6e85281177df;
authorwenzelm
Mon, 10 May 2021 17:15:37 +0200
changeset 73913 dceb5dde442f
parent 73912 0476728f2887
child 73914 f6b453449cc6
proper settings variable, amending 6e85281177df;
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 +