X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FMain.v;h=9188e5d06a7262e36c7223d1122b5e21d84ac5f1;hb=5a0761840d89b82cdacb0bf9215fd41aba847b68;hp=300dfb8e648c709f874b52c507317d22266692a4;hpb=95d220bc417942c682bffa4adcd89513711486ae;p=coq-hetmet.git

diff --git a/src/Main.v b/src/Main.v
index 300dfb8..9188e5d 100644
--- 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.