removed debugging code
authorblanchet
Thu Jan 10 23:48:01 2013 +0100 (2013-01-10)
changeset 508162c366a03c888
parent 50815 41b804049fae
child 50817 652731d92061
removed debugging code
src/HOL/TPTP/MaSh_Export.thy
     1.1 --- a/src/HOL/TPTP/MaSh_Export.thy	Thu Jan 10 23:34:20 2013 +0100
     1.2 +++ b/src/HOL/TPTP/MaSh_Export.thy	Thu Jan 10 23:48:01 2013 +0100
     1.3 @@ -71,7 +71,7 @@
     1.4  *}
     1.5  
     1.6  ML {*
     1.7 -if true orelse do_it then
     1.8 +if do_it then
     1.9    generate_mepo_suggestions @{context} params thys max_suggestions
    1.10        (prefix ^ "mepo_suggestions")
    1.11  else