format

sjunges · sjunges · commit 561ca9ff4b82 · 2024-11-11T23:22:31.000+01:00
diff --git a/src/storm-pomdp/transformer/ObservationTraceUnfolder.cpp b/src/storm-pomdp/transformer/ObservationTraceUnfolder.cpp
@@ -5,7 +5,6 @@
 #include "storm/storage/expressions/ExpressionManager.h"
 #include "storm/utility/ConstantsComparator.h"
 
-
 #undef _VERBOSE_OBSERVATION_UNFOLDING
 
 namespace storm {
