From 705b873600dc3c127d22a05dcb13728ec0813c86 Mon Sep 17 00:00:00 2001
From: "@raman.alizarevich" <raman.alizarevich@fabros-team.com>
Date: Tue, 14 May 2024 12:40:35 +0200
Subject: [PATCH] Reset Vector.maxId_ field after Vector.empty().

---
 modules/core/src/model/Vector.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/core/src/model/Vector.ts b/modules/core/src/model/Vector.ts
index 78dc0dec..a2fba23e 100644
--- a/modules/core/src/model/Vector.ts
+++ b/modules/core/src/model/Vector.ts
@@ -198,6 +198,7 @@ export class Vector extends Cloneable<Vector> implements Iterable<IdBoolTuple> {
   public empty(): void {
 
     this.set_ = new Set<number>();
+    this.maxId_ = 0;
 
   }