From 0d2d505697b8e8d5d195b8bb88092c1c3b4f497e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 18 Nov 2009 11:12:04 +0000 Subject: [PATCH] Bugfix: Crash on CTMC transient probs with MTBDD engine. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1561 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/mtbdd/PM_StochTransient.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/mtbdd/PM_StochTransient.cc b/prism/src/mtbdd/PM_StochTransient.cc index a50e0269..5ddb6e85 100644 --- a/prism/src/mtbdd/PM_StochTransient.cc +++ b/prism/src/mtbdd/PM_StochTransient.cc @@ -48,7 +48,7 @@ jlong __jlongpointer rv, // row vars jint num_rvars, jlong __jlongpointer cv, // col vars jint num_cvars, -jint time // time +jdouble time // time ) { // cast function parameters