From c18527a52fab667a48e71e8decb10971ae96e1d2 Mon Sep 17 00:00:00 2001
From: Alspb <alvspb@protonmail.com>
Date: Tue, 21 May 2024 00:39:35 +0100
Subject: [PATCH] styling fix

---
 lib/src/models/documents/history.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/models/documents/history.dart b/lib/src/models/documents/history.dart
index bdcd30d3..39173783 100644
--- a/lib/src/models/documents/history.dart
+++ b/lib/src/models/documents/history.dart
@@ -91,7 +91,7 @@ class History {
     }
     final delta = source.removeLast();
     // look for insert or delete
-    int len = 0;
+    var len = 0;
     final ops = delta.toList();
     for (var i = 0; i < ops.length; i++) {
       if ((ops[i].key == Operation.insertKey) ||