X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskWeakToStrong.v;h=3d8137ffba6cb3f8f0344b7b28cfecc44b8d5f8a;hp=a15b81daf63c06e54552cbd899d3756bf79707a7;hb=5cfd103cffd56381262b2d280cbba88e0932f78a;hpb=ee5aaad57d76400e9b8736d4a12d2804f99f329c

diff --git a/src/HaskWeakToStrong.v b/src/HaskWeakToStrong.v
index a15b81d..3d8137f 100644
--- a/src/HaskWeakToStrong.v
+++ b/src/HaskWeakToStrong.v
@@ -18,6 +18,7 @@ Require Import HaskStrongTypes.
 Require Import HaskStrong.
 Require Import HaskCoreTypes.
 Require Import HaskCoreVars.
+Require Import HaskCoreToWeak.
 
 Open Scope string_scope.
 Definition TyVarResolver Γ   := forall wt:WeakTypeVar, HaskTyVar Γ wt.