X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskCoreVars.v;h=8b0aabb2e202af961d3ad21ae477ed941bb929cf;hp=d158f050e07a299215f47a1f01ed664bf5f0abf5;hb=1c1cdb9014f409248ca96b677503719916b2b477;hpb=35d3a59796735e5341389fa6a145f62dcea9c3fc

diff --git a/src/HaskCoreVars.v b/src/HaskCoreVars.v
index d158f05..8b0aabb 100644
--- a/src/HaskCoreVars.v
+++ b/src/HaskCoreVars.v
@@ -6,7 +6,8 @@ Generalizable All Variables.
 Require Import Preamble.
 Require Import General.
 Require Import Coq.Strings.String.
-Require Import HaskLiteralsAndTyCons.
+Require Import HaskLiterals.
+Require Import HaskTyCons.
 
 (* GHC uses a single type for expression variables, type variables, and coercion variables; this is that type *)
 Variable CoreVar            : Type.                                               Extract Inlined Constant CoreVar    => "Var.Var".