From: Mark Thom Date: Wed, 10 Feb 2021 00:18:00 +0000 (-0700) Subject: reset merging_ptr offset before insertion of each overlapping constant (#816) X-Git-Tag: v0.9.0~150^2~62 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7e208984de7695f4decb339a9d79ed79d7032dbb;p=scryer-prolog.git reset merging_ptr offset before insertion of each overlapping constant (#816) --- diff --git a/src/indexing.rs b/src/indexing.rs index 16f0ce33..14b5f356 100644 --- a/src/indexing.rs +++ b/src/indexing.rs @@ -479,6 +479,8 @@ pub fn merge_clause_index( merging_ptr.index_constant(constant.clone(), offset); for overlapping_constant in overlapping_constants { + merging_ptr.offset = 0; + merging_ptr.index_overlapping_constant( constant, overlapping_constant.clone(),