src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Jan 02 09:13:50 2013 +0100
+++ b/src/HOL/ROOT	Wed Jan 02 09:31:25 2013 +0100
@@ -671,12 +671,12 @@
 session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
   options [document = false, quick_and_dirty]
   theories
-    SMT_Tests
     SMT_Examples
     SMT_Word_Examples
+  theories [condition = ISABELLE_FULL_TEST]
+    SMT_Tests
   files
     "SMT_Examples.certs"
-    "SMT_Tests.certs"
     "SMT_Word_Examples.certs"
 
 session "HOL-Boogie" in "Boogie" = "HOL-Word" +