← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to menhirlib/rowDisplacement.ml

  • Committer: Nicolas Palix
  • Date: 2010-01-28 14:23:49 UTC
  • Revision ID: git-v1:70d17887795852eca805bfe27745b9810c0a39be
Remove trailing whitespace/tab

svn path=/coccinelle/; revision=8684

Show diffs side-by-side

added added

removed removed

Lines of Context:
menhirlib/rowDisplacement.ml
75
75
    (insignificant : 'a -> bool)
76
76
    (dummy : 'a)
77
77
    (m : int) (n : int)
78
 
    (t : 'a array array) 
 
78
    (t : 'a array array)
79
79
    : 'a table =
80
80
 
81
81
  (* Be defensive. *)
98
98
      else
99
99
        let x = line.(j) in
100
100
        loop
101
 
          (j - 1) 
 
101
          (j - 1)
102
102
          (if insignificant x then row else (j, x) :: row)
103
103
    in
104
104
 
211
211
    else
212
212
      fit (k + 1) row
213
213
  in
214
 
 
 
214
 
215
215
  let fit row =
216
216
    match row with
217
217
    | [] ->