X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction.v;h=c23d1c5fb01725d5256f9465fa5ccd2d48e3f78a;hp=d1c84e450a7693b5859442dabbee3ecd2667bb21;hb=b3214686b18b2d6f6905394494da8d1c17587bdb;hpb=3d4dc42bf3f6e2ad7dc35b14ecb8facdb89e9324

diff --git a/src/Extraction.v b/src/Extraction.v
index d1c84e4..c23d1c5 100644
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -25,10 +25,10 @@ Require Import HaskProof.
 Require Import HaskCoreToWeak.
 Require Import HaskWeakToStrong.
 Require Import HaskStrongToProof.
-Require Import HaskProofToStrong.
 Require Import HaskProofToLatex.
 Require Import HaskStrongToWeak.
 Require Import HaskWeakToCore.
+Require Import HaskProofToStrong.
 
 Open Scope string_scope.
 Extraction Language Haskell.