diff options
Diffstat (limited to 'common/Globalenvs.v')
-rw-r--r-- | common/Globalenvs.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/common/Globalenvs.v b/common/Globalenvs.v index 8565ae6b..100cab8f 100644 --- a/common/Globalenvs.v +++ b/common/Globalenvs.v @@ -36,7 +36,6 @@ Require Recdef. Require Import Zwf. -Require Import Axioms. Require Import Coqlib. Require Import Errors. Require Import Maps. |