From 234671fdcaccfe3ae3e3a3bc7bfe69668a396468 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 31 Aug 2018 19:09:38 +0200 Subject: [PATCH] fixes to include paths --- src/storm/abstraction/AbstractionInformation.cpp | 2 +- src/storm/abstraction/MenuGameRefiner.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/abstraction/AbstractionInformation.cpp b/src/storm/abstraction/AbstractionInformation.cpp index 4b61ed4d8..7e3215b3b 100644 --- a/src/storm/abstraction/AbstractionInformation.cpp +++ b/src/storm/abstraction/AbstractionInformation.cpp @@ -9,7 +9,7 @@ #include "storm/settings/modules/AbstractionSettings.h" #include "storm/settings/SettingsManager.h" -#include "storm/parser/ExpressionParser.h" +#include "storm-parsers/parser/ExpressionParser.h" #include "storm/utility/macros.h" #include "storm/exceptions/InvalidOperationException.h" diff --git a/src/storm/abstraction/MenuGameRefiner.cpp b/src/storm/abstraction/MenuGameRefiner.cpp index 987aaa367..292257965 100644 --- a/src/storm/abstraction/MenuGameRefiner.cpp +++ b/src/storm/abstraction/MenuGameRefiner.cpp @@ -14,7 +14,7 @@ #include "storm/utility/solver.h" #include "storm/utility/shortestPaths.h" -#include "storm/parser/ExpressionParser.h" +#include "storm-parsers/parser/ExpressionParser.h" #include "storm/solver/MathsatSmtSolver.h"