fixed some missing includes due to updated API

src/storm-gspn-cli/storm-gspn.cpp

@@ -12,6 +12,8 @@
 #include "storm/utility/initialize.h"
 
 #include "api/storm.h"
+
+#include "storm-parsers/api/storm-parsers.h"
 #include "storm-cli-utilities/cli.h"
 
 #include "storm-parsers/parser/FormulaParser.h"
@@ -27,6 +29,7 @@
 
 #include "storm/exceptions/FileIoException.h"
 
+#include "storm/settings/modules/GeneralSettings.h"
 #include "storm/settings/modules/IOSettings.h"
 #include "storm-gspn/settings/modules/GSPNSettings.h"
 #include "storm-gspn/settings/modules/GSPNExportSettings.h"

src/test/storm-dft/CMakeLists.txt

@@ -13,7 +13,7 @@ foreach (testsuite api)
 
 	  file(GLOB_RECURSE TEST_${testsuite}_FILES ${STORM_TESTS_BASE_PATH}/${testsuite}/*.h ${STORM_TESTS_BASE_PATH}/${testsuite}/*.cpp)
       add_executable (test-dft-${testsuite} ${TEST_${testsuite}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
-	  target_link_libraries(test-dft-${testsuite} storm-dft)
+	  target_link_libraries(test-dft-${testsuite} storm-dft storm-parsers)
 	  target_link_libraries(test-dft-${testsuite} ${STORM_TEST_LINK_LIBRARIES})
 
 	  add_dependencies(test-dft-${testsuite} test-resources)

src/test/storm-dft/api/DftModelCheckerTest.cpp

@@ -2,6 +2,7 @@
 #include "storm-config.h"
 
 #include "storm-dft/api/storm-dft.h"
+#include "storm-parsers/api/storm-parsers.h"
 
 namespace {