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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 16 11:58:16 2012 +0200

Use a standard comment header block. Detected by ECLAIR service cmntfile.

---

src/Expression_Adapter.defs.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/Expression_Adapter.defs.hh b/src/Expression_Adapter.defs.hh index 4fb691b..32fc2e5 100644 --- a/src/Expression_Adapter.defs.hh +++ b/src/Expression_Adapter.defs.hh @@ -1,4 +1,5 @@ /* Expression_Adapter class declaration. + Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)

This file is part of the Parma Polyhedra Library (PPL).