X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskCoreTypes.v;fp=src%2FHaskCoreTypes.v;h=677287a9dde62c4d4c8fa8e47727c1195bb715f9;hp=0fbaeb5b0a432cd24fa7bc4c422d526a96645639;hb=1c1cdb9014f409248ca96b677503719916b2b477;hpb=35d3a59796735e5341389fa6a145f62dcea9c3fc

diff --git a/src/HaskCoreTypes.v b/src/HaskCoreTypes.v
index 0fbaeb5..677287a 100644
--- a/src/HaskCoreTypes.v
+++ b/src/HaskCoreTypes.v
@@ -9,7 +9,8 @@ Require Import Coq.Strings.String.
 Require Import Coq.Lists.List.
 Require Import HaskKinds.
 Require Import HaskCoreVars.
-Require Import HaskLiteralsAndTyCons.
+Require Import HaskLiterals.
+Require Import HaskTyCons.
 
 Variable CoreCoercion        : Type.                      Extract Inlined Constant CoreCoercion          => "Coercion.Coercion".
 Variable classTyCon          : Class_ -> CoreTyCon.       Extract Inlined Constant classTyCon            => "Class.classTyCon".