fix warning

Zeta611 · Jan 29, 2024 · fb58d77 · fb58d77
1 parent ff06355
commit fb58d77
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/printbox-text/PrintBox_text.ml b/src/printbox-text/PrintBox_text.ml
@@ -304,8 +304,8 @@ end = struct
   }
 
   type display_connections = {
-    mutable nontree: display_conn_basic;
-    mutable tree: display_conn_basic;
+    nontree: display_conn_basic;
+    tree: display_conn_basic;
   }
 
   let init_connection () =