restore tabu_list insertions to PStr-Lis comparisons (#2636)

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 66d3237bcd01135f1bc0ca067165e5f2fce8761e..58535f030b349ddc1de981e95868a46fb4df1dce 100644 (file)
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -564,6 +564,12 @@ impl MachineState {
                         (HeapCellValueTag::Lis, l1) => {
                             read_heap_cell!(v2,
                                 (HeapCellValueTag::PStrLoc, l2) => {
+                                    if tabu_list.contains(&(l1, l2)) {
+                                        continue;
+                                    }
+
+                                    tabu_list.insert((l1, l2));
+
                                     // like the action of
                                     // partial_string_to_pdl here but
                                     // the ordering of PDL pushes is