From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 10 Dec 2023 02:40:17 +0000 (-0800)
Subject: work
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8832fd3ecf456904ea995fd37174b0cee80f06cf;p=pspp

work
---

diff --git a/rust/src/cooked.rs b/rust/src/cooked.rs
index 0206b84b75..966e4b3e45 100644
--- a/rust/src/cooked.rs
+++ b/rust/src/cooked.rs
@@ -179,9 +179,6 @@ pub enum Record {
     FileAttributes(FileAttributeRecord),
     VariableAttributes(VariableAttributeRecord),
     OtherExtension(Extension),
-    //EndOfHeaders(u32),
-    //ZHeader(ZHeader),
-    //ZTrailer(ZTrailer),
     //Case(Vec<Value>),
 }