Module: ppl/ppl Branch: master Commit: 2535ee2f997ff4cfbc36906ac7f99691d85f5111 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2535ee2f997ff...
Author: Abramo Bagnara abramo.bagnara@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;