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

[Paul Bone]

library/maybe.m:
    As above.
---
 library/maybe.m | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/library/maybe.m b/library/maybe.m
index 7dc2361..3f9f75c 100644
--- a/library/maybe.m
+++ b/library/maybe.m
@@ -5,13 +5,13 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-% 
+%
 % File: maybe.m.
 % Main author: fjh.
 % Stability: high.
-% 
+%
 % This module defines the "maybe" type.
-% 
+%
 %---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%
 
-- 
2.1.4