From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sun, 27 Aug 2023 17:56:55 +0000 (+0200)
Subject: fix deadlock in `load_library_as_stream`
X-Git-Tag: remove~112^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=70b6cc8e5536424a04e6631f88117dd3121fc9a9;p=scryer-prolog.git

fix deadlock in `load_library_as_stream`
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 47d203fd..7b017c17 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -7846,7 +7846,9 @@ impl Machine {
 
         use crate::machine::LIBRARIES;
 
-        match LIBRARIES.borrow().get(&*library_name.as_str()) {
+        let lib_ref = LIBRARIES.borrow();
+        let lib = lib_ref.get(&*library_name.as_str());
+        match lib {
             Some(library) => {
                 let lib_stream = Stream::from_static_string(library, &mut self.machine_st.arena);
                 unify!(