[m-rev.] diff: Remove whitespace from the end of lines
Paul Bone
paul at bone.id.au
Mon May 27 18:37:19 AEST 2013
Remove whitespace from the end of lines
Branches: master
library/version_hash_table.m:
As above
---
library/version_hash_table.m | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/library/version_hash_table.m b/library/version_hash_table.m
index 15085aa..f03c4a6 100644
--- a/library/version_hash_table.m
+++ b/library/version_hash_table.m
@@ -5,11 +5,11 @@
% 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: version_hash_table.m.
% Main author: rafe, wangp.
% Stability: low.
-%
+%
% (See the header comments in version_array.m for an explanation of version
% types.)
%
@@ -17,7 +17,7 @@
% the same performance as the unique hash table implementation. "Older"
% versions of the hash table are still accessible, but will incur a growing
% performance penalty as more updates are made to the hash table.
-%
+%
%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%
@@ -46,7 +46,7 @@
% XXX Values too close to the limits may cause bad things
% to happen.
%
-:- func init(hash_pred(K)::in(hash_pred), int::in, float::in) =
+:- func init(hash_pred(K)::in(hash_pred), int::in, float::in) =
(version_hash_table(K, V)::out) is det.
% unsafe_init(HashPred, N, MaxOccupancy)
--
1.8.1.3
More information about the reviews
mailing list