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

diff --git a/src/Extraction.v b/src/Extraction.v
index 363e17f..1a26e58 100644
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -25,7 +25,7 @@ Require Import HaskProof.
 Require Import HaskCoreToWeak.
 Require Import HaskWeakToStrong.
 Require Import HaskStrongToProof.
-(*Require Import HaskProofToStrong.*)
+Require Import HaskProofToStrong.
 Require Import HaskProofToLatex.
 Require Import HaskStrongToWeak.
 Require Import HaskWeakToCore.