Removed DdType::None because there is no use for this anymore. · 5a76128e3f - tempest - Gitea: Git with a cup of tea

Removed DdType::None because there is no use for this anymore.

tempestpy_adaptions

Tim Quatmann 4 years ago

parent

f94d45483e

commit

5a76128e3f

1 changed files with 0 additions and 1 deletions

Unified View

								
									1

src/storm/storage/dd/DdType.h

									View File
								
				@ -4,7 +4,6 @@
			
				namespace storm {
				
				namespace storm {
			
				    namespace dd {
				
				    namespace dd {
			
				        enum class DdType {
				
				        enum class DdType {
			
				            None,
				
				            CUDD,
				
				            CUDD,
			
				            Sylvan
				
				            Sylvan
			
				        };
				
				        };