From b2ca021ec5b3ba10033ade4f0bd5771cf872d695 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Fri, 2 Feb 2024 09:12:42 -0600 Subject: [PATCH] fix aesop breaking change --- LeanCopilotTests/ProofSearch.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LeanCopilotTests/ProofSearch.lean b/LeanCopilotTests/ProofSearch.lean index 8abb32a..77fbd83 100644 --- a/LeanCopilotTests/ProofSearch.lean +++ b/LeanCopilotTests/ProofSearch.lean @@ -33,5 +33,5 @@ set_option trace.aesop true example (a b c : Nat) : a + b + c = c + b + a := by - aesop? (options := { maxRuleApplications := 2 }) + aesop? (config := { maxRuleApplications := 2 }) try sorry