Module: ppl/ppl Branch: master Commit: c7decce2dd41a1ba453a8a351464e8065c884823 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7decce2dd41a... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 15 15:39:11 2012 +0200 Do not use comments to "comment out" code. Detected by ECLAIR service cmntdout. --- src/Generator.defs.hh | 7 +++++-- src/Linear_System.templates.hh | 11 ++++++----- 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/src/Generator.defs.hh b/src/Generator.defs.hh index d3d9b7c..5f82e51 100644 --- a/src/Generator.defs.hh +++ b/src/Generator.defs.hh @@ -718,8 +718,11 @@ private: */ bool check_strong_normalized() const; - //! Another print functions, with fancy output, more human-friendly. - //! This is used by operator<<(); + /*! \brief + A print function, with fancy, more human-friendly output. + + This is used by operator<<(). + */ void fancy_print(std::ostream& s) const; friend class Expression_Adapter<Generator>; diff --git a/src/Linear_System.templates.hh b/src/Linear_System.templates.hh index 58b88ee..cbe70eb 100644 --- a/src/Linear_System.templates.hh +++ b/src/Linear_System.templates.hh @@ -240,11 +240,12 @@ Linear_System<Row>::insert_pending_no_ok(Row& r, Recycle_Input) { // TODO: A Grid_Generator_System may contain non-normalized lines that // represent parameters, so this check is disabled. Consider re-enabling it // when it's possibile. - /* - // The added row must be strongly normalized and have the same - // number of elements as the existing rows of the system. - PPL_ASSERT(r.check_strong_normalized()); - */ +#if 0 + // The added row must be strongly normalized and have the same + // number of elements as the existing rows of the system. + PPL_ASSERT(r.check_strong_normalized()); +#endif + PPL_ASSERT(r.topology() == topology()); r.set_representation(representation());