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

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.