[PPL-devel] [GIT] ppl/ppl(master): Fixed copy-and-paste mistakes.

Roberto Bagnara bagnara at cs.unipr.it
Fri May 1 11:13:32 CEST 2009


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May  1 11:13:19 2009 +0200

Fixed copy-and-paste mistakes.

---

 src/Grid.defs.hh |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh
index a0ad1c8..4ac8145 100644
--- a/src/Grid.defs.hh
+++ b/src/Grid.defs.hh
@@ -937,7 +937,7 @@ public:
     \p cgs may be recycled.
 
     \exception std::invalid_argument
-    Thrown if \p *this and \p cs are dimension-incompatible.
+    Thrown if \p *this and \p cgs are dimension-incompatible.
 
     \warning
     The only assumption that can be made about \p cgs upon successful
@@ -1554,7 +1554,7 @@ public:
     \ref Grid_Widening_with_Tokens "widening with tokens" delay technique).
 
     \exception std::invalid_argument
-    Thrown if \p *this, \p y and \p cs are dimension-incompatible.
+    Thrown if \p *this, \p y and \p cgs are dimension-incompatible.
   */
   void limited_congruence_extrapolation_assign(const Grid& y,
 					       const Congruence_System& cgs,
@@ -1578,7 +1578,7 @@ public:
     \ref Grid_Widening_with_Tokens "widening with tokens" delay technique).
 
     \exception std::invalid_argument
-    Thrown if \p *this, \p y and \p cs are dimension-incompatible.
+    Thrown if \p *this, \p y and \p cgs are dimension-incompatible.
   */
   void limited_generator_extrapolation_assign(const Grid& y,
 					      const Congruence_System& cgs,
@@ -1601,7 +1601,7 @@ public:
     \ref Grid_Widening_with_Tokens "widening with tokens" delay technique).
 
     \exception std::invalid_argument
-    Thrown if \p *this, \p y and \p cs are dimension-incompatible.
+    Thrown if \p *this, \p y and \p cgs are dimension-incompatible.
   */
   void limited_extrapolation_assign(const Grid& y,
 				    const Congruence_System& cgs,
@@ -2443,9 +2443,9 @@ protected:
 					     const char* reason);
 
   void throw_invalid_constraint(const char* method,
-			       const char* c_name) const;
+                                const char* c_name) const;
   void throw_invalid_constraints(const char* method,
-				const char* cs_name) const;
+                                 const char* cs_name) const;
   void throw_invalid_generator(const char* method,
 			       const char* g_name) const;
   void throw_invalid_generators(const char* method,




More information about the PPL-devel mailing list