Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 26 May 2017 19:39:02 +0200
changeset 65936 aece72468de5
parent 65935 73c099fa96a4
child 65937 fde7b5d209d5
tuned;
src/Pure/Tools/build.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.ML	Fri May 26 15:28:46 2017 +0200
+++ b/src/Pure/Tools/build.ML	Fri May 26 19:39:02 2017 +0200
@@ -220,7 +220,7 @@
     val _ = SHA1.test_samples ();
     val _ = Options.load_default ();
     val _ = Isabelle_Process.init_options ();
-    val args as Args {name, ...} = decode_args (File.read (Path.explode args_file));
+    val args = decode_args (File.read (Path.explode args_file));
     fun error_message msg = writeln ("\ferror_message = " ^ encode_lines msg);
     val _ =
       Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message
isabelle