X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskWeakToStrong.v;h=1b348657c654a276702f68eefe878d6b7047d097;hp=b2521e388917551cb135b3d1c0966b89b274a37b;hb=64d416692bda1d36c33b5efa245d46dcf546ad4a;hpb=97552c1a6dfb32098d4491951929ab1d4aca96a0

diff --git a/src/HaskWeakToStrong.v b/src/HaskWeakToStrong.v
index b2521e3..1b34865 100644
--- a/src/HaskWeakToStrong.v
+++ b/src/HaskWeakToStrong.v
@@ -19,9 +19,6 @@ Require Import HaskStrongTypes.
 Require Import HaskStrong.
 Require Import HaskCoreVars.
 
-(* can remove *)
-Require Import HaskStrongToWeak.
-
 Open Scope string_scope.
 Definition TyVarResolver Γ   := forall wt:WeakTypeVar, ???(HaskTyVar Γ wt).
 Definition CoVarResolver Γ Δ := forall wt:WeakCoerVar, ???(HaskCoVar Γ Δ).