# HG changeset patch # User immler@in.tum.de # Date 1232471526 -3600 # Node ID 370b3f92b3bc12912f0ef0351d33ee152f65a882 # Parent cf1289d989026378a796e599b9f8ca6f79d9ff10 typo diff -r cf1289d98902 -r 370b3f92b3bc src/HOL/Tools/atp_manager.ML --- a/src/HOL/Tools/atp_manager.ML Tue Jan 20 18:10:25 2009 +0100 +++ b/src/HOL/Tools/atp_manager.ML Tue Jan 20 18:12:06 2009 +0100 @@ -35,7 +35,7 @@ local -val atps = ref "e remote_e remore_vampire remote_spass"; +val atps = ref "e remote_e remote_vampire remote_spass"; val max_atps = ref 5; (* ~1 means infinite number of atps *) val timeout = ref 100;