[PPL-devel] [GIT] ppl/ppl(master): Fix.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Mar 30 12:15:22 2009 +0200

Fix.

---

 interfaces/Java/jni/ppl_java_globals.cc |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/interfaces/Java/jni/ppl_java_globals.cc b/interfaces/Java/jni/ppl_java_globals.cc
index 3e20768..29d15b0 100644
--- a/interfaces/Java/jni/ppl_java_globals.cc
+++ b/interfaces/Java/jni/ppl_java_globals.cc
@@ -721,8 +721,8 @@ Java_parma_1polyhedra_1library_IO_wrap_1string
  jint preferred_first_line_length, jint preferred_line_length) {
   try {
     unsigned ind = jtype_to_unsigned<unsigned int>(indent_depth);
-    usngined pfll = jtype_to_unsigned<unsigned int>(preferred_first_line_length);
-    usngined pll = jtype_to_unsigned<unsigned int>(preferred_line_length);
+    unsigned pfll = jtype_to_unsigned<unsigned int>(preferred_first_line_length);
+    unsigned pll = jtype_to_unsigned<unsigned int>(preferred_line_length);
     const char* chars = env->GetStringUTFChars(str, 0);
     if (!chars)
       return 0;