X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskWeakToCore.v;h=7d0fac42e77fdb5138319a81554cdafc087e8990;hp=cb3d7a393298865041f7bb9ecfaa67f8d9524bf1;hb=5cfd103cffd56381262b2d280cbba88e0932f78a;hpb=ee5aaad57d76400e9b8736d4a12d2804f99f329c

diff --git a/src/HaskWeakToCore.v b/src/HaskWeakToCore.v
index cb3d7a3..7d0fac4 100644
--- a/src/HaskWeakToCore.v
+++ b/src/HaskWeakToCore.v
@@ -15,7 +15,6 @@ Require Import HaskCore.
 Require Import HaskWeakVars.
 Require Import HaskWeakTypes.
 Require Import HaskWeak.
-Require Import HaskCoreToWeak.
 
 Variable mkCoreLet : @CoreBind CoreVar -> @CoreExpr CoreVar -> @CoreExpr CoreVar.
   Extract Inlined Constant mkCoreLet => "MkCore.mkCoreLet".