diff options
Diffstat (limited to 'theories/Arith/Compare.v')
-rw-r--r-- | theories/Arith/Compare.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Arith/Compare.v b/theories/Arith/Compare.v index c6bf35bb0..c9e6d3cf3 100644 --- a/theories/Arith/Compare.v +++ b/theories/Arith/Compare.v @@ -50,4 +50,4 @@ Qed. Require Export Wf_nat. -Require Export Min Max.
\ No newline at end of file +Require Export Min Max. |