# HG changeset patch
# User wenzelm
# Date 1538233687 -7200
# Node ID 0f1cc8df340965d5e78c28798e2e772d1c9e776f
# Parent  fedacfd60fdb33736dc942d054a3130af86ff1a9
tuned message according to ML version;

diff -r fedacfd60fdb -r 0f1cc8df3409 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Sat Sep 29 14:58:01 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Sep 29 17:08:07 2018 +0200
@@ -210,7 +210,7 @@
             space_explode(',', options.string("condition")).
               filter(cond => Isabelle_System.getenv(cond) == "")
           if (conditions.nonEmpty) {
-            warn("condition " + conditions.mkString(" "))
+            warn("undefined " + conditions.mkString(", "))
             false
           }
           else if (default_skip_proofs && !options.bool("skip_proofs")) {