diff options
Diffstat (limited to 'theories')
| -rw-r--r-- | theories/Arith/Wf_nat.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Arith/Wf_nat.v b/theories/Arith/Wf_nat.v index 8e26942d10..7e85e5c67b 100644 --- a/theories/Arith/Wf_nat.v +++ b/theories/Arith/Wf_nat.v @@ -18,7 +18,7 @@ Implicit Types m n p : nat. Section Well_founded_Nat. -Variable A : Set. +Variable A : Type. Variable f : A -> nat. Definition ltof (a b:A) := f a < f b. |