merge
authorblanchet
Thu, 31 May 2018 10:59:54 +0200
changeset 68329 9946707cf329
parent 68328 0d751da653d9 (diff)
parent 68327 7d946d8bc058 (current diff)
child 68338 3f60cba346aa
merge
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed May 30 23:11:28 2018 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu May 31 10:59:54 2018 +0200
@@ -369,7 +369,7 @@
      [(TimedOut, "Failure: Resource limit exceeded (time)"),
       (TimedOut, "time limit exceeded")] @
      known_szs_status_failures,
-   prem_role = Conjecture,
+   prem_role = Hypothesis,
    best_slices =
      (* FUDGE *)
      K [(1.0, (((500, ""), ehoh_thf0, "mono_native_higher", liftingN, false), ""))],