X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskStrongToWeak.v;h=e956dd659394f4eb9c9a3853f214ac67a8ce8f7b;hp=1761b834e98fc7a6cfcfccc6d95929552bc1286d;hb=ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f;hpb=b096aab78240e38ff69c120367e65be60cbc54f5

diff --git a/src/HaskStrongToWeak.v b/src/HaskStrongToWeak.v
index 1761b83..e956dd6 100644
--- a/src/HaskStrongToWeak.v
+++ b/src/HaskStrongToWeak.v
@@ -213,4 +213,4 @@ Section HaskStrongToWeak.
       uniqM f => f us >>= fun x => OK (snd x)
       end.
 
-End HaskStrongToWeak.
\ No newline at end of file
+End HaskStrongToWeak.