From: Mark Thom <mark.thom@unb.ca>
Date: Wed, 27 Nov 2019 18:13:18 +0000 (-0400)
Subject: terms containing attributed variables are not ground (#239)
X-Git-Tag: v0.8.118~38^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9ae901bd0d69cfb49bedf1a20b18dd450437ec4b;p=scryer-prolog.git

terms containing attributed variables are not ground (#239)
---

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 60713510..f48d77ff 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -3109,6 +3109,7 @@ impl MachineState {
             match v {
                 HeapCellValue::Addr(Addr::HeapCell(..)) => return true,
                 HeapCellValue::Addr(Addr::StackCell(..)) => return true,
+                HeapCellValue::Addr(Addr::AttrVar(..)) => return true,
                 _ => {}
             }
         }