# HG changeset patch
# User HackBot
# Date 1383261297 0
# Node ID bb7275dbc075f14d0f3bb91c732268e236aa4aa8
# Parent  5f0851663626c08ec8bfc9ab18c5b6f80dea51da
<oerjan> sed -i \'s/|/ |/\' wisdom/fun\\ fact

diff -r 5f0851663626 -r bb7275dbc075 wisdom/fun fact
--- a/wisdom/fun fact	Thu Oct 31 23:14:21 2013 +0000
+++ b/wisdom/fun fact	Thu Oct 31 23:14:57 2013 +0000
@@ -1,1 +1,1 @@
-fun fact 0 = 1| fact n = n * fact (n - 1)
+fun fact 0 = 1 | fact n = n * fact (n - 1)