From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 18 Jan 2026 05:20:32 +0000 (-0800)
Subject: Fix warning on origin.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23b08fa9cd31b5429ac364bbf30ae63b47bb5f68;p=pspp

Fix warning on origin.
---

diff --git a/rust/pspp/src/por/read.rs b/rust/pspp/src/por/read.rs
index 221b6b41c4..ba7454acb1 100644
--- a/rust/pspp/src/por/read.rs
+++ b/rust/pspp/src/por/read.rs
@@ -313,7 +313,7 @@ pub enum Warning {
     /// Invalid time {0}.
     InvalidTime(String),
 
-    /// Invalid variable name.
+    /// Renaming variable with invalid name to {new_name}.  {id_error}
     InvalidVariableName {
         /// Identifier error.
         id_error: IdError,