Fix: missing parts of last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4666 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 9786d49b3c
2 changed files with 4 additions and 4 deletions
--- a/prism/include/PrismMTBDD.h
+++ b/prism/include/PrismMTBDD.h
@ -50,10 +50,10 @@ JNIEXPORT jstring JNICALL Java_mtbdd_PrismMTBDD_PM_1GetErrorMessage
 /*
 * Class:     mtbdd_PrismMTBDD
 * Method:    PM_Reachability
- * Signature: (JJIJIJLprism/Prism;)J
+ * Signature: (JJIJIJ)J
 */
 JNIEXPORT jlong JNICALL Java_mtbdd_PrismMTBDD_PM_1Reachability
-  (JNIEnv *, jclass, jlong, jlong, jint, jlong, jint, jlong, jobject);
+  (JNIEnv *, jclass, jlong, jlong, jint, jlong, jint, jlong);

 /*
 * Class:     mtbdd_PrismMTBDD
--- a/prism/src/mtbdd/PM_Reachability.cc
+++ b/prism/src/mtbdd/PM_Reachability.cc
@ -46,8 +46,8 @@ jlong __jlongpointer rv,	// row vars
 jint num_rvars,
 jlong __jlongpointer cv,	// col vars
 jint num_cvars,
-jlong __jlongpointer s,	// start state
-jobject prism)
+jlong __jlongpointer s	// start state
+)
 {
 	DdNode *trans01 = jlong_to_DdNode(t01);		// 0-1 trans matrix
 	DdNode *init = jlong_to_DdNode(s);		// start state