X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskStrongTypes.v;h=e79927ab5ba4ecf6e69cb82d9adb867170935581;hp=81beb650cfb4ad6e1cabd602ada0650e1df3be3e;hb=ab2e0681a81695cc2380b007f2a3314005ec1c99;hpb=62b3e1780b7c86017e720e11048fd48e1ddbaa5a

diff --git a/src/HaskStrongTypes.v b/src/HaskStrongTypes.v
index 81beb65..e79927a 100644
--- a/src/HaskStrongTypes.v
+++ b/src/HaskStrongTypes.v
@@ -13,6 +13,7 @@ Require Import HaskCoreTypes.
 Require Import HaskCoreVars.
 Require Import HaskWeakTypes.
 Require Import HaskWeakVars.
+Require Import HaskWeak.
 Require Import HaskCoreToWeak.
 
 Variable dataConTyCon      : CoreDataCon -> TyCon.         Extract Inlined Constant dataConTyCon      => "DataCon.dataConTyCon".