diff options
Diffstat (limited to 'cfrontend/Initializers.v')
| -rw-r--r-- | cfrontend/Initializers.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cfrontend/Initializers.v b/cfrontend/Initializers.v index 641ea3c..8757ba2 100644 --- a/cfrontend/Initializers.v +++ b/cfrontend/Initializers.v @@ -22,7 +22,6 @@ Require Import Memory. Require Import Ctypes. Require Import Cop. Require Import Csyntax. -Require Import Csem. Open Scope error_monad_scope. |