diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/micromega/ZMicromega.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/micromega/ZMicromega.v b/plugins/micromega/ZMicromega.v index 1da3228a98..2b63c88f9e 100644 --- a/plugins/micromega/ZMicromega.v +++ b/plugins/micromega/ZMicromega.v @@ -692,9 +692,6 @@ Definition eval := Zeval_formula. Definition prod_pos_nat := prod positive nat. -Require Import Int. - - Definition n_of_Z (z:Z) : BinNat.N := match z with | Z0 => N0 |