From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 20:47:22 +0000 (+0200)
Subject: reduce span of unsafe block
X-Git-Tag: v0.10.0~127^2~10
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0284a2092dfae1f5fead17a1ad140bb10f9c7fff;p=scryer-prolog.git

reduce span of unsafe block
---

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 {