X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskWeak.v;h=077f7b509a22032859a83729226a7fc82b2620fe;hp=670d8bda940ea112749d3e23ea339c57e7038cbd;hb=1a2754d2e135ef3c5fd7ef817e1129af93b533a5;hpb=91f06dc68cf5888360f1819429b10e054f94b243

diff --git a/src/HaskWeak.v b/src/HaskWeak.v
index 670d8bd..077f7b5 100644
--- a/src/HaskWeak.v
+++ b/src/HaskWeak.v
@@ -108,4 +108,4 @@ Fixpoint simplifyWeakExpr (me:WeakExpr) : WeakExpr :=
   (* un-letrec-ify multi branch letrecs *)
   | WELetRec mlr e                       => WELetRec mlr (simplifyWeakExpr e )
   end.
-*)
\ No newline at end of file
+*)