error reset

UniFormal · Jul 3, 2023 · 3bd4a9d · 3bd4a9d
1 parent 684262e
commit 3bd4a9d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/Error.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/Error.scala
@@ -376,6 +376,11 @@ class MultipleErrorHandler(val handlers: List[ErrorHandler]) extends OpenCloseHa
       case _ =>
     }
   }
+
+  override def reset: Unit = {
+    super.reset
+    handlers.foreach(_.reset)
+  }
 }
 object MultipleErrorHandler {
   /** creates a MultipleErrorHandler and adds error reporting if not also present */