From: Nicolas Luck <nicolas@lucksus.eu>
Date: Mon, 17 Jul 2023 19:47:43 +0000 (+0200)
Subject: Use lib constructor in lib tests
X-Git-Tag: remove^2~61
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=39473908777c5167e8df1d29714a637c48cfa228;p=scryer-prolog.git

Use lib constructor in lib tests
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 7b749561..708c524f 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -32,7 +32,7 @@ mod tests {
 
     #[test]
     fn programatic_query() {
-        let mut machine = Machine::with_test_streams();
+        let mut machine = Machine::new_lib();
 
         machine.load_module_string(
             "facts",