diff --git a/src/storm/storage/dd/DdType.h b/src/storm/storage/dd/DdType.h
index d23933eed..712645b72 100644
--- a/src/storm/storage/dd/DdType.h
+++ b/src/storm/storage/dd/DdType.h
@@ -4,6 +4,7 @@
 namespace storm {
     namespace dd {
         enum class DdType {
+            None,
             CUDD,
             Sylvan
         };