# HG changeset patch
# User HackBot
# Date 1383261241 0
# Node ID 6a3e6166db99faf39365fb76381ce0d648553025
# Parent  3d1bcac0c161c557b855d378ce650c7938621a1a
<oerjan> revert

diff -r 3d1bcac0c161 -r 6a3e6166db99 wisdom/fun fact
--- a/wisdom/fun fact	Thu Oct 31 23:13:34 2013 +0000
+++ b/wisdom/fun fact	Thu Oct 31 23:14:01 2013 +0000
@@ -1,2 +1,2 @@
-funfact 0 = 1
+fun fact 0 = 1
   | fact n = n * fact (n - 1)