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