diff --git a/rr_frontend/radium/src/code.rs b/rr_frontend/radium/src/code.rs
index 1ab1b7f0a1c4ea5da97ef37711d3e1bbe50df533..385814055305e0395b1b0aea2d6436ae30aae343 100644
--- a/rr_frontend/radium/src/code.rs
+++ b/rr_frontend/radium/src/code.rs
@@ -654,7 +654,7 @@ pub struct FunctionCode {
     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);
     for (key, value) in els {
         out.push_str(sep);
@@ -1040,7 +1040,6 @@ impl<'def> Function<'def> {
 
         // initialize tyvars
         let formatted_tyvars = make_map_string(
-            " ",
             " ",
             &self
                 .spec