fix merge conflict

verus-lang · Jan 20, 2022 · eab8f07 · eab8f07
1 parent 1a250a7
commit eab8f07
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/source/rust_verify/src/rust_to_vir_expr.rs b/source/rust_verify/src/rust_to_vir_expr.rs
@@ -1041,7 +1041,6 @@ pub(crate) fn expr_to_vir_inner<'tcx>(
                             bctx,
                             expr,
                             def_id,
-                            bctx.types.node_type(fun.hir_id),
                             bctx.types.node_substs(fun.hir_id),
                             fun.span,
                             args_slice,