Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_runtime.ML
changeset 41486 82c1e348bc18
parent 41472 f6ab14e61604
child 41944 b97091ae583a 
--- a/src/Tools/Code/code_runtime.ML	Sun Jan 09 19:58:08 2011 +0100
+++ b/src/Tools/Code/code_runtime.ML	Sun Jan 09 21:33:41 2011 +0100
@@ -234,7 +234,7 @@
     val (_, (_, acc_code)) = Code_Antiq_Data.get ctxt;
     val (ml_code, consts_map) = Lazy.force acc_code;
     val ml_code = if is_first then ml_code else "";
-    val body = " Isabelle." ^ the (AList.lookup (op =) consts_map const) ^ " ";
+    val body = "Isabelle." ^ the (AList.lookup (op =) consts_map const);
   in (ml_code, body) end;
 
 in
isabelle