From 2b774f3041c9313ca344c693e2ea7d146d4c365e Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 15 Dec 2018 00:04:56 -0700
Subject: [PATCH] correct non-termination of expand_goal and expand_term

---
 src/prolog/instructions.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prolog/instructions.rs b/src/prolog/instructions.rs
index c025d2c9..0c3444d0 100644
--- a/src/prolog/instructions.rs
+++ b/src/prolog/instructions.rs
@@ -914,7 +914,7 @@ impl PartialOrd<CodePtr> for CodePtr {
 impl PartialOrd<LocalCodePtr> for LocalCodePtr {
     fn partial_cmp(&self, other: &LocalCodePtr) -> Option<Ordering> {
         match (self, other) {
-            (&LocalCodePtr::InSituDirEntry(p1), &LocalCodePtr::DirEntry(ref p2))
+            (&LocalCodePtr::InSituDirEntry(p1), &LocalCodePtr::InSituDirEntry(ref p2))
           | (&LocalCodePtr::DirEntry(p1), &LocalCodePtr::DirEntry(ref p2))
           | (&LocalCodePtr::UserTermExpansion(p1), &LocalCodePtr::UserTermExpansion(ref p2))
           | (&LocalCodePtr::UserGoalExpansion(p1), &LocalCodePtr::UserGoalExpansion(ref p2))
-- 
2.54.0