[PPL-devel] [GIT] ppl/ppl(master): Doxygen reference fixed.

Roberto Bagnara bagnara at cs.unipr.it
Mon Jul 13 16:05:12 CEST 2009


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 16:01:19 2009 +0200

Doxygen reference fixed.

---

 src/Affine_Space.defs.hh |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh
index 5d22ff7..23ed3ea 100644
--- a/src/Affine_Space.defs.hh
+++ b/src/Affine_Space.defs.hh
@@ -1597,7 +1597,8 @@ public:
     \p to_be_folded is a set of variables whose maximum space dimension
     is also less than or equal to \f$n\f$, and \p var is not a member
     of \p to_be_folded, then the space dimensions corresponding to
-    variables in \p to_be_folded are \ref Affine_Space_Fold_Space_Dimensions "folded"
+    variables in \p to_be_folded are
+    \ref Folding_Multiple_Dimensions_of_the_Vector_Space_into_One_Dimension "folded"
     into the \f$k\f$-th space dimension.
   */
   void fold_space_dimensions(const Variables_Set& to_be_folded, Variable var);




More information about the PPL-devel mailing list