diff options
Diffstat (limited to 'theories/ZArith/ZArith_dec.v')
| -rw-r--r-- | theories/ZArith/ZArith_dec.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/ZArith/ZArith_dec.v b/theories/ZArith/ZArith_dec.v index 8d535d509..06c9988a1 100644 --- a/theories/ZArith/ZArith_dec.v +++ b/theories/ZArith/ZArith_dec.v @@ -151,7 +151,7 @@ Proof. intro. apply False_rec. apply H. - symmetry in |- *. + symmetry . assumption. Defined. @@ -174,7 +174,7 @@ Proof. assumption. intro. right. - symmetry in |- *. + symmetry . assumption. Defined. |