From ce9d784c351fb61224079b9ab702c4031468afc3 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 28 May 2019 13:20:21 +0200
Subject: [PATCH] QCVBS: Fixed models with empty 'open-paremeter-values' entry.

---
 src/storm/storage/Qvbs.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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);
                 }
             }
         }