From d52598d01db1922f5dd4c82e3e737ae96f1e80dc Mon Sep 17 00:00:00 2001
From: "Joseph C. Osborn" <joseph.osborn@pomona.edu>
Date: Thu, 30 Oct 2025 13:40:14 -0700
Subject: [PATCH] Reencode will now explicitly upgrade input checkpoints from
 v1 to v2

---
 src/bin/reencode.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/reencode.rs b/src/bin/reencode.rs
index 4aeb519..cdf7fe8 100644
--- a/src/bin/reencode.rs
+++ b/src/bin/reencode.rs
@@ -15,6 +15,7 @@ fn main() {
     let header = &rply.header;
     println!("{header:?}");
     let mut header_out = header.clone();
+    header_out.upgrade();
     header_out.set_block_size(128);
     header_out.set_superblock_size(128);
     let mut out = encode(header_out, &rply.initial_state, &mut outfile).unwrap();