diff options
Diffstat (limited to 'src/Congruence_defs.hh')
| -rw-r--r-- | src/Congruence_defs.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Congruence_defs.hh b/src/Congruence_defs.hh index 656ec5558..92e004500 100644 --- a/src/Congruence_defs.hh +++ b/src/Congruence_defs.hh @@ -1,6 +1,6 @@ /* Congruence class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). |