X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaWiki.ml;fp=matita%2FmatitaWiki.ml;h=87e9a44178a47a18b5bad6f9e9b3961e0825e71f;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=08f683cbf3fa4633411e4bb6ab5214b965efcef7;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/matita/matitaWiki.ml b/matita/matitaWiki.ml
index 08f683cbf..87e9a4417 100644
--- a/matita/matitaWiki.ml
+++ b/matita/matitaWiki.ml
@@ -170,7 +170,7 @@ let rec interactive_loop () =
           | _ -> ()
         in
          run_script str 
-           (MatitaEngine.eval_from_stream ~first_statement_only:true ~prompt:false
+           (MatitaEngine.eval_from_stream ~first_statement_only:true 
            ~include_paths:(Lazy.force include_paths) ~watch_statuses) ;
          interactive_loop (Some (List.length !lexicon_status))
   with