diff options
Diffstat (limited to 'src/Congruence_System_inlines.hh')
-rw-r--r-- | src/Congruence_System_inlines.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Congruence_System_inlines.hh b/src/Congruence_System_inlines.hh index 640d12412..c63fb1f02 100644 --- a/src/Congruence_System_inlines.hh +++ b/src/Congruence_System_inlines.hh @@ -1,6 +1,6 @@ /* Congruence_System class implementation: inline functions. 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). |