X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskWeakToCore.v;fp=src%2FHaskWeakToCore.v;h=6e6a87d5d1a5e0b404be47578f783a7a76965ac2;hp=959133d8f89de99646add568de1912fd5afcd8e6;hb=8282f5a7639dbe862bba29d3170d58b81bbb1446;hpb=02af384ece10c5aa927c7d7c1379e9d202926cc8

diff --git a/src/HaskWeakToCore.v b/src/HaskWeakToCore.v
index 959133d..6e6a87d 100644
--- a/src/HaskWeakToCore.v
+++ b/src/HaskWeakToCore.v
@@ -91,4 +91,4 @@ Section HaskWeakToCore.
                                                (weakExprToCoreExpr e)
   end.
 
-End HaskWeakToCore.
\ No newline at end of file
+End HaskWeakToCore.