diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h
index 6516884a8..30f8e221c 100644
--- a/src/models/AbstractModel.h
+++ b/src/models/AbstractModel.h
@@ -19,7 +19,7 @@ namespace models {
  *  @brief  Enumeration of all supported types of models.
  */
 enum ModelType {
-    Unknown, DTMC, CTMC, MDP, CTMDP
+    Unknown, DTMC, CTMC, MDP, CTMDP, MA
 };
 
 /*!
diff --git a/src/storm.cpp b/src/storm.cpp
index 4621f7413..c6f2071b1 100644
--- a/src/storm.cpp
+++ b/src/storm.cpp
@@ -21,6 +21,7 @@
 
 #include "storm-config.h"
 #include "src/models/Dtmc.h"
+#include "src/models/MarkovAutomaton.h"
 #include "src/storage/SparseMatrix.h"
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"