remove trailing whitespaces from C code.
and some smaller formatting issues.
@@ -3874,8 +3874,7 @@ SWIGEXPORT jlong JNICALL Java_org_sosy_1lab_java_1smt_solvers_boolector_BtorJNI_
arg1 = *(Btor **)&jarg1;
- jclass cls = (*jenv)->FindClass(jenv,
- "org/sosy_lab/java_smt/solvers/boolector/BtorJNI$TerminationCallback");
+ jclass cls = (*jenv)->FindClass(jenv, "org/sosy_lab/java_smt/solvers/boolector/BtorJNI$TerminationCallback");
if (cls == NULL) {
SWIG_JavaThrowException(jenv, SWIG_JavaNullPointerException, "Class for boolector_set_termination may not be NULL");
return 0;
@@ -3904,8 +3903,6 @@ SWIGEXPORT jlong JNICALL Java_org_sosy_1lab_java_1smt_solvers_boolector_BtorJNI_
}
-
-
//Call this with the return value of the method boolector_set_termination to free ressources
SWIGEXPORT void JNICALL Java_org_sosy_1lab_java_1smt_solvers_boolector_BtorJNI_boolector_1free_1termination(JNIEnv *jenv, jclass jcls, jlong jarg1) {
(void)jcls;
@@ -3924,4 +3921,3 @@ SWIGEXPORT void JNICALL Java_org_sosy_1lab_java_1smt_solvers_boolector_BtorJNI_b
#ifdef __cplusplus
}
#endif
-
