Skip to content
Snippets Groups Projects
Commit 6f8121d5 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

address deprecation warnings (iota_add -> iotaD) 

mathcomp has deprecated `iota_add` in favor of `iotaD`.

However, `iotaD` wasn't added until mathcomp 1.12, so this patch breaks
compatibility with earlier versions.
parent 9cc286c2
No related branches found
Tags coq-stdpp-1.2.1
1 merge request!159address deprecation warnings (`iota_add` ➔ `iotaD`)
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment