mathlib3
e501d026 - fix(replacer): better flow control in replacer when tactic fails (#673)

Commit

7 years ago

fix(replacer): better flow control in replacer when tactic fails (#673) The main consequence is better error reporting.

References

Author

kim-em

Committer

cipher1024

Parents