# HG changeset patch
# User desharna
# Date 1743079482 -3600
# Node ID 396676efbd6d6d68efa5e543dfc8051bdeadedf4
# Parent  0b5f1364606c985c24868b330bf7d2c8da72dfe8
removed unused function

diff -r 0b5f1364606c -r 396676efbd6d src/HOL/Tools/try0.ML
--- a/src/HOL/Tools/try0.ML	Thu Mar 27 13:40:33 2025 +0100
+++ b/src/HOL/Tools/try0.ML	Thu Mar 27 13:44:42 2025 +0100
@@ -89,8 +89,6 @@
     NONE => noop_proof_method
   | SOME proof_method => proof_method)
 
-val apply_proof_method = get_proof_method_or_noop
-
 fun maybe_apply_proof_method name mode : proof_method =
   if mode <> Auto_Try orelse should_auto_try_proof_method name then
     get_proof_method_or_noop name