Skip to content
Snippets Groups Projects
Verified Commit 1a545ad5 authored by Vincent Lafeychine's avatar Vincent Lafeychine
Browse files

chore(fix): Remove unused argument

parent 6bd791d7
No related branches found
No related tags found
1 merge request!55Refactor `coq` crate
Hide whitespace changes
Inline Side-by-side
rr_frontend/radium/src/code.rs
+ 1
− 2
View file @ 1a545ad5
...@@ -654,7 +654,7 @@ pub struct FunctionCode { ...@@ -654,7 +654,7 @@ pub struct FunctionCode {
required_parameters: Vec<(coq::term::Name, coq::term::Type)>, required_parameters: Vec<(coq::term::Name, coq::term::Type)>,
} }
fn make_map_string(sep0: &str, sep: &str, els: &Vec<(String, String)>) -> String { fn make_map_string(sep: &str, els: &Vec<(String, String)>) -> String {
let mut out = String::with_capacity(100); let mut out = String::with_capacity(100);
for (key, value) in els { for (key, value) in els {
out.push_str(sep); out.push_str(sep);
...@@ -1040,7 +1040,6 @@ impl<'def> Function<'def> { ...@@ -1040,7 +1040,6 @@ impl<'def> Function<'def> {
// initialize tyvars // initialize tyvars
let formatted_tyvars = make_map_string( let formatted_tyvars = make_map_string(
" ",
" ", " ",
&self &self
.spec .spec
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment