# HG changeset patch
# User wenzelm
# Date 1633607724 -7200
# Node ID ef07e6d672cb47da06dfc88b68fbcc8c3dad9bfa
# Parent  60eeb9952145833bccc53bd865bcd3611218b88e
tuned message;

diff -r 60eeb9952145 -r ef07e6d672cb src/Pure/Admin/build_minisat.scala
--- a/src/Pure/Admin/build_minisat.scala	Thu Oct 07 13:46:50 2021 +0200
+++ b/src/Pure/Admin/build_minisat.scala	Thu Oct 07 13:55:24 2021 +0200
@@ -101,7 +101,7 @@
       /* README */
 
       File.write(component_dir + Path.basic("README"),
-        "This Isabelle component provides Minisat " + version + """using the
+        "This Isabelle component provides Minisat " + version + """ using the
 sources from """.stripMargin + download_url + """
 
 The executables have been built via "make r"; macOS requires to