diff options
Diffstat (limited to 'src/Util/SideConditions/RingPackage.v')
| -rw-r--r-- | src/Util/SideConditions/RingPackage.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/SideConditions/RingPackage.v b/src/Util/SideConditions/RingPackage.v index ef01dd069..3cb7b64da 100644 --- a/src/Util/SideConditions/RingPackage.v +++ b/src/Util/SideConditions/RingPackage.v @@ -31,6 +31,6 @@ Ltac Zring_prod_eq_tac _ := Ltac autosolve else_tac := lazymatch goal with | [ |- eq_by_Zring_prod_package _ ] - => solve [ Zring_prod_eq_tac () ] + => abstract Zring_prod_eq_tac () | _ => else_tac () end. |