From 9786d49b3c55320fecd93053a96388f43bb0e44f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 19 Feb 2012 19:12:21 +0000 Subject: [PATCH] Fix: missing parts of last commit. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4666 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/PrismMTBDD.h | 4 ++-- prism/src/mtbdd/PM_Reachability.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/include/PrismMTBDD.h b/prism/include/PrismMTBDD.h index 94e39ef9..5de04d58 100644 --- 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 diff --git a/prism/src/mtbdd/PM_Reachability.cc b/prism/src/mtbdd/PM_Reachability.cc index 6bc5e27d..ae4e8d91 100644 --- 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