X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskCore.v;h=b05c34f2937bd679e3f36265d1badf398018a2cc;hp=90248284df766dde5d86912d46f6bdece5538cdb;hb=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62;hpb=2ec43bc871b579bac89707988c4855ee1d6c8eda

diff --git a/src/HaskCore.v b/src/HaskCore.v
index 9024828..b05c34f 100644
--- a/src/HaskCore.v
+++ b/src/HaskCore.v
@@ -7,7 +7,8 @@ Require Import Preamble.
 Require Import General.
 Require Import Coq.Strings.String.
 Require Import HaskKinds.
-Require Import HaskLiteralsAndTyCons.
+Require Import HaskLiterals.
+Require Import HaskTyCons.
 Require Import HaskCoreTypes.
 Require Import HaskCoreVars.