From 9ae901bd0d69cfb49bedf1a20b18dd450437ec4b Mon Sep 17 00:00:00 2001
From: Mark Thom <mark.thom@unb.ca>
Date: Wed, 27 Nov 2019 14:13:18 -0400
Subject: [PATCH] terms containing attributed variables are not ground (#239)

---
 src/prolog/machine/machine_state_impl.rs | 1 +
 1 file changed, 1 insertion(+)

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,
                 _ => {}
             }
         }
-- 
2.54.0