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 for CodePtr { impl PartialOrd for LocalCodePtr { fn partial_cmp(&self, other: &LocalCodePtr) -> Option { 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))