From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 13 May 2020 00:22:41 +0000 (-0600)
Subject: return true on unmatching partial strings in eq_test to indicate failure (#491)
X-Git-Tag: v0.8.123~39
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23f804eda3f037f01b5a18e37927a58972982547;p=scryer-prolog.git

return true on unmatching partial strings in eq_test to indicate failure (#491)
---

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index a64685c5..ea1d722a 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -1892,7 +1892,7 @@ impl MachineState {
 
                     if let Some(ordering) = ordering {
                         if ordering != Ordering::Equal {
-                            return false;
+                            return true;
                         }
                     }