Merge branch 'coq-extraction-baked-in' of /afs/megacz.com/.pub/software/coq-hetmet

[coq-hetmet.git] / src / HaskStrong.v

diff --git a/src/HaskStrong.v b/src/HaskStrong.v
index bf51e1a..874b368 100644 (file)
--- a/src/HaskStrong.v
+++ b/src/HaskStrong.v
@@ -13,6 +13,7 @@ Require Import HaskLiterals.
 Require Import HaskTyCons.
 Require Import HaskStrongTypes.
 Require Import HaskWeakVars.
+Require Import HaskCoreToWeak.
 Require Import HaskCoreVars.
 
 Section HaskStrong.