Changed WEBrak/WEEsc to store a CoreType

[coq-hetmet.git] / src / Main.v

diff --git a/src/Main.v b/src/Main.v
index 99c6734..9188e5d 100644 (file)
--- a/src/Main.v
+++ b/src/Main.v
@@ -9,11 +9,12 @@ Require Import HaskLiterals.
 Require Import HaskCoreVars.
 Require Import HaskCoreTypes.
 Require Import HaskCore.
+Require Import HaskWeakVars.
 Require Import HaskWeak.
-(*Require Import HaskCoreToWeak.*)
+Require Import HaskCoreToWeak.
 Require Import HaskStrongTypes.
 Require Import HaskStrong.
 (*Require Import HaskStrongToProof.*)
 Require Import HaskProof.
 (*Require Import HaskWeakToStrong.*)
-(*Require Import HaskProofToLatex.*)
+Require Import HaskProofToLatex.