diff --git a/src/test/utility/ModelInstantiatorTest.cpp b/src/test/utility/ModelInstantiatorTest.cpp
index 145881598..3e6e80474 100644
--- a/src/test/utility/ModelInstantiatorTest.cpp
+++ b/src/test/utility/ModelInstantiatorTest.cpp
@@ -208,7 +208,7 @@ TEST(ModelInstantiatorTest, Brp_Rew) {
 TEST(ModelInstantiatorTest, Consensus) {
     carl::VariablePool::getInstance().clear();
     
-    std::string programFile = STORM_TEST_RESOURCES_DIR "/pmdp/coin2_2.pm";
+    std::string programFile = STORM_TEST_RESOURCES_DIR "/pmdp/coin2_2.nm";
     std::string formulaAsString = "Pmin=? [F \"finished\"&\"all_coins_equal_1\" ]";
     
     // Program and formula