diff options
| -rw-r--r-- | theories/IntMap/Adalloc.v | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/theories/IntMap/Adalloc.v b/theories/IntMap/Adalloc.v index d2ca86b2f..5dcd41c84 100644 --- a/theories/IntMap/Adalloc.v +++ b/theories/IntMap/Adalloc.v @@ -331,3 +331,9 @@ Section AdAlloc. Qed. End AdAlloc. + +V7only [ +(* Moved to NArith *) +Notation positive_to_nat_2 := positive_to_nat_2. +Notation positive_to_nat_4 := positive_to_nat_4. +]. |