[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