From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 14 Aug 2017 16:11:17 +0000 (-0600)
Subject: generalize has_null_ball
X-Git-Tag: v0.8.110~706
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a3fbf1bc739907acba3ac5688ddd78a2cc8676fd;p=scryer-prolog.git

generalize has_null_ball
---

diff --git a/src/prolog/machine.rs b/src/prolog/machine.rs
index 04077fe2..53cb6ab7 100644
--- a/src/prolog/machine.rs
+++ b/src/prolog/machine.rs
@@ -1148,7 +1148,7 @@ impl MachineState {
 
     fn has_null_ball(&self) -> bool
     {
-        if let &Addr::Con(Constant::UInt64(0)) = &self.ball {
+        if let &Addr::Con(Constant::UInt64(_)) = &self.ball {
             true
         } else {
             false