← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to cocci.ml

  • Committer: Sébastien Hinderer
  • Date: 2015-08-10 12:22:12 UTC
  • mto: (4116.2.93)
  • mto: This revision was merged to the branch mainline in revision 4121.
  • Revision ID: git-v1:848f85e256516330c06f5fd8dc782b854ed9aa03
Remove a bunch of trailing whitespaces and blank lines at end of files.

Show diffs side-by-side

added added

removed removed

Lines of Context:
cocci.ml
1564
1564
      [] -> true
1565
1565
    | [_] -> true
1566
1566
    | l::ls ->
1567
 
        let desired_functions = 
 
1567
        let desired_functions =
1568
1568
          List.fold_left
1569
1569
            (fun prev (_,elem,_,_) ->
1570
1570
              if not (List.mem elem prev) then elem::prev else prev)
2290
2290
  )
2291
2291
let check_duplicate_modif a =
2292
2292
  Common.profile_code "check_duplicate" (fun () -> check_duplicate_modif2 a)
2293