diff options
Diffstat (limited to 'common/Globalenvs.v')
| -rw-r--r-- | common/Globalenvs.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/Globalenvs.v b/common/Globalenvs.v index b540ad1..a29c249 100644 --- a/common/Globalenvs.v +++ b/common/Globalenvs.v @@ -33,6 +33,7 @@ place during program linking and program loading in a real operating system. *) +Require Import Axioms. Require Import Coqlib. Require Import Errors. Require Import Maps. |