diff --git a/src/storm/storage/Qvbs.cpp b/src/storm/storage/Qvbs.cpp index b9d392386..cb810c948 100644 --- a/src/storm/storage/Qvbs.cpp +++ b/src/storm/storage/Qvbs.cpp @@ -97,7 +97,8 @@ namespace storm { } } else { constantDefinitions.push_back(""); - janiFiles.push_back(janiFileName); + janiFiles.push_back(modelPath + "/" + janiFileName); + instanceInfos.push_back(janiFileName); } } }