From 160c6a67f4be4fb688f218ba8578cd6f28441003 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 29 Apr 2019 07:24:30 +0200
Subject: [PATCH] Added missing method in case z3 lp solver is not available.

---
 src/storm/solver/Z3LpSolver.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/storm/solver/Z3LpSolver.cpp b/src/storm/solver/Z3LpSolver.cpp
index c152a9d20..16c04bd57 100644
--- a/src/storm/solver/Z3LpSolver.cpp
+++ b/src/storm/solver/Z3LpSolver.cpp
@@ -393,6 +393,11 @@ namespace storm {
             throw storm::exceptions::NotImplementedException() << "This version of storm was compiled without Z3 or the version of Z3 does not support optimization. Yet, a method was called that requires this support.";
         }
         
+        template<typename ValueType>
+        void Z3LpSolver<ValueType>::writeModelToFile(std::string const& filename) const {
+            throw storm::exceptions::NotImplementedException() << "This version of storm was compiled without Z3 or the version of Z3 does not support optimization. Yet, a method was called that requires this support.";
+        }
+        
         template<typename ValueType>
         void Z3LpSolver<ValueType>::push()  {
             throw storm::exceptions::NotImplementedException() << "This version of storm was compiled without Z3 or the version of Z3 does not support optimization. Yet, a method was called that requires this support.";