# HG changeset patch
# User blanchet
# Date 1282142557 -7200
# Node ID 6a5b104f92cb0bf703acf715332f4899eaa7dcf0
# Parent  1317657d6aa96d79a890651b3e7a42183f8dd7d9
thank Andrei instead of Tanya

diff -r 1317657d6aa9 -r 6a5b104f92cb src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 16:39:05 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 16:42:37 2010 +0200
@@ -185,7 +185,7 @@
    required_execs = [],
    arguments = fn _ => fn timeout =>
      "--mode casc -t " ^ string_of_int (to_generous_secs timeout) ^
-     " --input_file",
+     " --thanks Andrei --input_file",
    proof_delims =
      [("=========== Refutation ==========",
        "======= End of refutation ======="),