[GIT] ppl/ppl(master): Previous change reverted.
1 May
2009
1 May
'09
7:30 a.m.
Module: ppl/ppl Branch: master Commit: 9fe2ae64aa578ae01bd80c07f86b8a7dcd866169 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa578... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 1 07:30:29 2009 +0200 Previous change reverted. --- src/Grid.defs.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 54a5dbf..a0ad1c8 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1803,6 +1803,8 @@ public: friend class Parma_Polyhedra_Library::Grid_Certificate; + template <typename Interval> friend class Parma_Polyhedra_Library::Box; + //! \name Miscellaneous Member Functions //@{
6097
Age (days ago)
6097
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara