we don't deallocate the environ global, so leave it in the machine

diff --git a/src/shims/env.rs b/src/shims/env.rs
index 6cde82903bccea56a3b3eb27d4a475c0a5737de0..163a8c2e51d783c7e58e6ee83b0f622b01d976ab 100644 (file)
--- a/src/shims/env.rs
+++ b/src/shims/env.rs
@@ -55,7 +55,7 @@ pub(crate) fn cleanup<'mir>(
             ecx.memory.deallocate(ptr, None, MiriMemoryKind::Env.into())?;
         }
         // Deallocate environ var list.
-        let environ = ecx.machine.env_vars.environ.take().unwrap();
+        let environ = ecx.machine.env_vars.environ.unwrap();
         let old_vars_ptr = ecx.read_scalar(environ.into())?.not_undef()?;
         ecx.memory.deallocate(ecx.force_ptr(old_vars_ptr)?, None, MiriMemoryKind::Env.into())?;
         Ok(())