correct non-termination of expand_goal and expand_term

diff --git a/src/prolog/instructions.rs b/src/prolog/instructions.rs
index c025d2c9ae277d60648269a29b53564b710b2d24..0c3444d0cb83173c5eb43435239a28ebe64b7d2f 100644 (file)
--- 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))