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
16 years ago · 0d2d505697
1 changed files with 1 additions and 1 deletions
--- 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