diff options
Diffstat (limited to 'theories/IntMap/Allmaps.v')
| -rw-r--r-- | theories/IntMap/Allmaps.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/IntMap/Allmaps.v b/theories/IntMap/Allmaps.v index fcd111694d..0020219d00 100644 --- a/theories/IntMap/Allmaps.v +++ b/theories/IntMap/Allmaps.v @@ -23,4 +23,4 @@ Require Export Mapcard. Require Export Mapcanon. Require Export Mapc. Require Export Maplists. -Require Export Adalloc. +Require Export Adalloc.
\ No newline at end of file |