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

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".