src/Pure/PIDE/document.ML
changeset 52523 ecc0e0007792
parent 52515 0dcadc90550b
child 52526 d234cb6b60e3
--- a/src/Pure/PIDE/document.ML	Thu Jul 04 09:13:49 2013 +0200
+++ b/src/Pure/PIDE/document.ML	Thu Jul 04 11:55:45 2013 +0200
@@ -65,7 +65,8 @@
 
 type exec = ((Toplevel.state * {malformed: bool}) * Command.print list) Command.memo;
   (*eval/print process*)
-val no_exec = Command.memo_value ((Toplevel.toplevel, {malformed = false}), []);
+val no_exec =
+  Command.memo_value ((Toplevel.toplevel, {malformed = false}), []: Command.print list);
 
 abstype node = Node of
  {header: node_header,  (*master directory, theory header, errors*)