diff options
-rw-r--r-- | lib/Maps.v | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -32,7 +32,6 @@ inefficient implementation of maps as functions is also provided. *) -Require Import EquivDec. Require Import Coqlib. (* To avoid useless definitions of inductors in extracted code. *) |