Commit 479956c1 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Move strategy-related messages to debug output.

parent 6d899177
......@@ -1597,7 +1597,7 @@ let strategies () =
let code = st.Whyconf.strategy_code in
let code = Strategy_parser.parse (env_session()) code in
let shortcut = load_shortcut st.Whyconf.strategy_shortcut in
Format.eprintf "[GUI] Strategy '%s' loaded.@." name;
Debug.dprintf debug "[GUI] Strategy '%s' loaded.@." name;
(name, st.Whyconf.strategy_desc, code, shortcut) :: acc
with Strategy_parser.SyntaxError msg ->
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment