X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction.v;h=363e17fcec2b309cfdedce82a79f00b5341b4b95;hp=22564a27cfc763c277161d11df897660bd2ed1f4;hb=ff44b3a9529a8660185f292897aae2f243af51a2;hpb=976b9bb93bf6ab296b3ac60dcdb4e87b1c665376

diff --git a/src/Extraction.v b/src/Extraction.v
index 22564a2..363e17f 100644
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -27,7 +27,7 @@ Require Import HaskWeakToStrong.
 Require Import HaskStrongToProof.
 (*Require Import HaskProofToStrong.*)
 Require Import HaskProofToLatex.
-(*Require Import HaskStrongToWeak.*)
+Require Import HaskStrongToWeak.
 Require Import HaskWeakToCore.
 
 Open Scope string_scope.