Make linter happy.

epfl-lara · Jun 1, 2021 · da1251c · da1251c
1 parent adcb89f
commit da1251c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stainless_extraction/src/ty.rs b/stainless_extraction/src/ty.rs
@@ -67,7 +67,7 @@ pub fn uint_bit_width(int_ty: &UintTy, tcx: TyCtxt<'_>) -> u64 {
   int_ty.bit_width().unwrap_or_else(|| pointer_bit_width(tcx))
 }
 
-pub fn is_mut_ref<'tcx>(ty: Ty<'tcx>) -> bool {
+pub fn is_mut_ref(ty: Ty) -> bool {
   matches!(ty.ref_mutability(), Some(Mutability::Mut))
 }