reduce span of unsafe block

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 3763b2c09bcaa45a1963da1b1de3f9db9699402d..e90b864406dc098228cb20f24f3aaa91d4925c9e 100644 (file)
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -679,15 +679,13 @@ impl MachineState {
         indices: &mut IndexStore,
     ) -> CallResult {
         if let Stream::Readline(ptr) = stream {
-            unsafe {
-                let readline = ptr.as_ptr().as_mut().unwrap();
-                readline.set_atoms_for_completion(&self.atom_tbl);
-                return self.read_term(
-                    stream,
-                    indices,
-                    MachineState::read_term_from_user_input_eof_handler,
-                );
-            }
+            let readline = unsafe { ptr.as_ptr().as_mut() }.unwrap();
+            readline.set_atoms_for_completion(&self.atom_tbl);
+            return self.read_term(
+                stream,
+                indices,
+                MachineState::read_term_from_user_input_eof_handler,
+            );
         }
 
         if let Stream::Byte(_) = stream {