From 1716c45ec549fd41f4e8e9d989547038fe8688e7 Mon Sep 17 00:00:00 2001 From: masawei Date: Fri, 11 Oct 2013 16:01:29 +0200 Subject: [PATCH] Fixed compile errors concerning the handling of the STORM_HAVE_Z3 flag and a missing include in IRUtility.h Should now compile again. Former-commit-id: a72c906fb0724eff334dc903c9d33aaf4bf46c8d --- src/counterexamples/SMTMinimalCommandSetGenerator.h | 2 +- src/utility/IRUtility.h | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/counterexamples/SMTMinimalCommandSetGenerator.h b/src/counterexamples/SMTMinimalCommandSetGenerator.h index f2b0ead6e..16cfe7f72 100644 --- a/src/counterexamples/SMTMinimalCommandSetGenerator.h +++ b/src/counterexamples/SMTMinimalCommandSetGenerator.h @@ -16,10 +16,10 @@ // If we have Z3 available, we have to include the C++ header. #ifdef STORM_HAVE_Z3 #include "z3++.h" +#include "src/adapters/Z3ExpressionAdapter.h" #endif #include "src/adapters/ExplicitModelAdapter.h" -#include "src/adapters/Z3ExpressionAdapter.h" #include "src/modelchecker/prctl/SparseMdpPrctlModelChecker.h" #include "src/solver/GmmxxNondeterministicLinearEquationSolver.h" diff --git a/src/utility/IRUtility.h b/src/utility/IRUtility.h index 63cf9519e..7ee230450 100644 --- a/src/utility/IRUtility.h +++ b/src/utility/IRUtility.h @@ -12,6 +12,7 @@ #include "src/storage/LabeledValues.h" #include "src/ir/IR.h" +#include "src/exceptions/InvalidArgumentException.h" #include "log4cplus/logger.h" #include "log4cplus/loggingmacros.h"