Added WeakVar, a separate variable representation for HaskWeak

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

diff --git a/src/Main.v b/src/Main.v
index 300dfb8..9188e5d 100644 (file)
--- a/src/Main.v
+++ b/src/Main.v
@@ -9,6 +9,7 @@ Require Import HaskLiterals.
 Require Import HaskCoreVars.
 Require Import HaskCoreTypes.
 Require Import HaskCore.
+Require Import HaskWeakVars.
 Require Import HaskWeak.
 Require Import HaskCoreToWeak.
 Require Import HaskStrongTypes.