🚨 silence compiler warning

Signed-off-by: burgholzer <burgholzer@me.com>
cda-tum · Jan 12, 2025 · ad514e6 · ad514e6
1 parent bb5657b
commit ad514e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/EquivalenceCheckingManager.hpp b/include/EquivalenceCheckingManager.hpp
@@ -103,7 +103,7 @@ class EquivalenceCheckingManager {
 
   void reset() {
     stateGenerator.clear();
-    results = {};
+    results = Results();
     checkers.clear();
   }