From 0d9205c0e63782b1d730f7c1da808be9c0393178 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 7 Apr 2017 10:52:09 +0200 Subject: [PATCH] Fixed case in include path --- src/storm-dft/storage/dft/DftJsonExporter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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