State::export - avoid possible partial write()

benruijl · Jun 5, 2024 · 09ed8ac · 09ed8ac
1 parent 6fa3190
commit 09ed8ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/state.rs b/src/state.rs
@@ -363,7 +363,7 @@ impl State {
 
         for (s, n) in State::symbol_iter() {
             dest.write_u32::<LittleEndian>(n.as_bytes().len() as u32)?;
-            dest.write(n.as_bytes())?;
+            dest.write_all(n.as_bytes())?;
             dest.write_u8(s.get_wildcard_level())?;
             dest.write_u8(s.is_symmetric() as u8)?;
             dest.write_u8(s.is_antisymmetric() as u8)?;