From: guido Date: Sun, 6 Sep 1998 13:47:06 +0000 (+0000) Subject: LogStream: JobId does not get prefix DEAL X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0b404dbc238c6e757af87b9d6a7414f53079a204;p=dealii-svn.git LogStream: JobId does not get prefix DEAL git-svn-id: https://svn.dealii.org/trunk@577 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc index e79981eb79..2f23c52be2 100644 --- a/deal.II/base/source/log.cc +++ b/deal.II/base/source/log.cc @@ -16,5 +16,5 @@ void LogStream::attach(ostream& o) { file = &o; - o << "DEAL:" << dealjobid(); + o << dealjobid(); }