diff options
Diffstat (limited to 'cfrontend/SimplExpr.v')
-rw-r--r-- | cfrontend/SimplExpr.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cfrontend/SimplExpr.v b/cfrontend/SimplExpr.v index 153f177..ab35445 100644 --- a/cfrontend/SimplExpr.v +++ b/cfrontend/SimplExpr.v @@ -22,8 +22,6 @@ Require Import AST. Require Import Ctypes. Require Import Cop. Require Import Csyntax. -Require Import Csem. -Require Cstrategy. Require Import Clight. Module C := Csyntax. |