From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 19 Nov 2021 06:41:58 +0000 (-0700)
Subject: break from get_char loop after successful char unification
X-Git-Tag: v0.9.0^2~128
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=addc817ccacf0c3364fb5f0fea17cbd92d8dd22e;p=scryer-prolog.git

break from get_char loop after successful char unification
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index dd385801..b5fb568e 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -2213,6 +2213,8 @@ impl MachineState {
                             if self.fail {
                                 return Ok(());
                             }
+
+                            break;
                         }
                         _ => {
                             self.eof_action(