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

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.