diff --git a/src/storm-dft/storage/dft/DftJsonExporter.cpp b/src/storm-dft/storage/dft/DftJsonExporter.cpp index bcafb35be..30e0d2eec 100644 --- a/src/storm-dft/storage/dft/DftJsonExporter.cpp +++ b/src/storm-dft/storage/dft/DftJsonExporter.cpp @@ -1,7 +1,7 @@ #include "DftJsonExporter.h" #include "storm/exceptions/NotImplementedException.h" -#include "storm/exceptions/FileIOException.h" +#include "storm/exceptions/FileIoException.h" #include #include