add HaskStrongToWeak

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

diff --git a/src/Extraction.v b/src/Extraction.v
index 22564a2..363e17f 100644 (file)
--- 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.