[PPL-devel] [GIT] ppl/ppl(master): Corrected mismatch in parameter name ( for documentation purposes only).
Enea Zaffanella
zaffanella at cs.unipr.it
Thu Aug 5 09:33:52 CEST 2010
Module: ppl/ppl
Branch: master
Commit: 2b1e6916be4fa0f4ea839a0714e0376787f217a9
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b1e6916be4fa0f4ea839a0714e0376787f217a9
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Aug 5 08:42:34 2010 +0200
Corrected mismatch in parameter name (for documentation purposes only).
---
.../parma_polyhedra_library/PIP_Solution_Node.java | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java
index 8bb11c9..5b95922 100644
--- a/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java
+++ b/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java
@@ -39,5 +39,5 @@ public class PIP_Solution_Node extends PIP_Tree_Node {
\param var
The variable being queried.
*/
- public native Linear_Expression parametric_values(Variable d);
+ public native Linear_Expression parametric_values(Variable var);
}
More information about the PPL-devel
mailing list