Module: ppl/ppl Branch: master Commit: 37b4bdd5f55204f194749a687ab97a9ef1f03fc4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b4bdd5f5520...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 19:46:43 2012 +0100

Type fixed. Detected by ECLAIR service utypflag.

---

utils/timings.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/utils/timings.cc b/utils/timings.cc index 23ba39d..20b94fd 100644 --- a/utils/timings.cc +++ b/utils/timings.cc @@ -92,7 +92,7 @@ print_clock(ostream& s) { } } assert(csecs >= 0 && csecs < 100 && secs >= 0); - int fill_char = s.fill(); + char fill_char = s.fill(); s << secs << "." << setfill('0') << setw(2) << csecs; s.fill(fill_char); }