From 08c5ca01f60d2216b3d134e983bcb84a0f47c4e8 Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <jhala@cs.ucsd.edu>
Date: Thu, 2 Nov 2023 11:14:14 -0700
Subject: [PATCH] Update crates/flux-middle/src/fhir.rs

Co-authored-by: Nico Lehmann <nico.lehmannm@gmail.com>
---
 crates/flux-middle/src/fhir.rs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/crates/flux-middle/src/fhir.rs b/crates/flux-middle/src/fhir.rs
index c29629e89a..9095714f0d 100644
--- 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)]