From d3744d6f66c0b91dfd7852b56ddd5da4cf272e51 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 21 Feb 2020 12:51:23 -0700
Subject: [PATCH] identify ground partial strings under (==) (#269)

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

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 82c0c4f2..998f3252 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -2201,6 +2201,9 @@ impl MachineState {
                     if ar1 != ar2 || n1 != n2 {
                         return true;
                     },
+                (HeapCellValue::Addr(Addr::PStrLocation(..)),
+                 HeapCellValue::Addr(Addr::PStrLocation(..))) =>
+                    continue,
                 (HeapCellValue::Addr(Addr::Lis(_)), HeapCellValue::Addr(Addr::Lis(_))) =>
                     continue,
                 (HeapCellValue::Addr(Addr::Con(Constant::EmptyList)),
-- 
2.54.0