Skip to content

Commit

Permalink
fix aesop breaking change
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaiyu Yang committed Feb 2, 2024
1 parent 1f44fdc commit b2ca021
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LeanCopilotTests/ProofSearch.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit b2ca021

Please sign in to comment.