diff --git a/include/EquivalenceCheckingManager.hpp b/include/EquivalenceCheckingManager.hpp
index 2ce213df..6e71a05d 100644
--- a/include/EquivalenceCheckingManager.hpp
+++ b/include/EquivalenceCheckingManager.hpp
@@ -103,7 +103,7 @@ class EquivalenceCheckingManager {
 
   void reset() {
     stateGenerator.clear();
-    results = {};
+    results = Results();
     checkers.clear();
   }