This commit is contained in:
Richard Feldman 2022-11-01 01:27:15 -04:00
parent 211a5adcf6
commit fb799d1d24
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -278,7 +278,7 @@ impl ReplState {
};
if let Some((ident, src)) = pending_past_def {
self.add_past_def(ident.to_string(), src.to_string());
self.add_past_def(ident, src);
}
format_output(output, problems, opt_var_name)