[m-rev.] trivial diff: Fix whitespace in maybe.m

Paul Bone paul at bone.id.au
Fri Jun 6 22:02:27 AEST 2014


Branches: version_14-01_branch, master

Fix whitespace in maybe.m

library/maybe.m:
    A tab was used where four spaces should have been used.  This was
    causing strange formatting in the documentation.
---
 library/maybe.m | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/maybe.m b/library/maybe.m
index 1643556..1d7ebc7 100644
--- a/library/maybe.m
+++ b/library/maybe.m
@@ -21,7 +21,7 @@
 %-----------------------------------------------------------------------------%
 
 :- type maybe(T)
-	--->	no
+    --->    no
     ;       yes(T).
 
 :- inst maybe(I)
-- 
2.0.0.rc0




More information about the reviews mailing list