Update crates/flux-middle/src/fhir.rs

Co-authored-by: Nico Lehmann <[email protected]>
flux-rs · Nov 2, 2023 · 08c5ca0 · 08c5ca0
1 parent aee782b
commit 08c5ca0
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/crates/flux-middle/src/fhir.rs b/crates/flux-middle/src/fhir.rs
@@ -539,16 +539,6 @@ impl PolyFuncSort {
         FuncSort { inputs_and_output }
     }
 
-    // fn mk_param_subst(&self, subst: &SortParamSubst) -> PolyFuncSort {
-    //     let params = self.params;
-    //     let args = self
-    //         .fsort
-    //         .inputs_and_output
-    //         .iter()
-    //         .map(|arg| arg.param_subst(subst))
-    //         .collect();
-    //     PolyFuncSort { params, fsort: FuncSort { inputs_and_output: args } }
-    // }
 }
 
 #[derive(Clone)]