diff options
Diffstat (limited to 'src/Util/ZUtil/Zselect.v')
| -rw-r--r-- | src/Util/ZUtil/Zselect.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/ZUtil/Zselect.v b/src/Util/ZUtil/Zselect.v index 0166ce6f4..fa9235a0b 100644 --- a/src/Util/ZUtil/Zselect.v +++ b/src/Util/ZUtil/Zselect.v @@ -13,4 +13,4 @@ Module Z. try reflexivity; try discriminate. rewrite <-Z.eqb_neq in *; congruence. Qed. -End Z.
\ No newline at end of file +End Z. |