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

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Oct 27 12:47:41 2013 +0100

Corrected.

---

 ...ppl_interface_generator_java_classes_cc_code.m4 |   19 ++++++++-----------
 1 files changed, 8 insertions(+), 11 deletions(-)

diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
index 95eccfa..694e400 100644
--- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
+++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
@@ -780,19 +780,16 @@ CATCH_ALL
 
 m4_define(`ppl_ at CLASS@_positive_time_elapse_assign_code',
 `dnl
-JNIEXPORT jboolean JNICALL
+JNIEXPORT void JNICALL
 Java_parma_1polyhedra_1library_ at 1TOPOLOGY@@1CLASS at _positive_time_elapse_assign
-(JNIEnv* env, jobject j_this, jobject j_y) {
-  try {
-    @TOPOLOGY@@CPP_CLASS@* this_ptr
-      = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_this));
-    @TOPOLOGY@@CPP_CLASS@* y_ptr
-      = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_y));
-    this_ptr->positive_time_elapse_assign(*y_ptr);
-  }
-  CATCH_ALL;
-  return false;
+(JNIEnv* env, jobject j_this, jobject j_y) try {
+  @TOPOLOGY@@CPP_CLASS@* this_ptr
+    = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_this));
+  @TOPOLOGY@@CPP_CLASS@* y_ptr
+    = reinterpret_cast<@TOPOLOGY@@CPP_CLASS@*>(get_ptr(env, j_y));
+  this_ptr->positive_time_elapse_assign(*y_ptr);
 }
+CATCH_ALL;
 
 ')