From 0284a2092dfae1f5fead17a1ad140bb10f9c7fff Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 22:47:22 +0200
Subject: [PATCH] reduce span of unsafe block

---
 src/machine/machine_state.rs | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index 3763b2c0..e90b8644 100644
--- 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 {
-- 
2.54.0