From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 5 May 2021 02:54:00 +0000 (-0600)
Subject: set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in... 
X-Git-Tag: v0.9.0~87
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=533d1ea9abad4f5b3c845b36c82515a067afb8ba;p=scryer-prolog.git

set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in dynamic indexing instructions (prompted by #922)
---

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 82aefb13..ffb80d46 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -3268,13 +3268,13 @@ impl MachineState {
                         }
                     }
                 }
-
-                self.dynamic_mode = FirstOrNext::Next;
             }
             None => {
                 self.fail = true;
             }
         }
+
+        self.dynamic_mode = FirstOrNext::Next;
     }
 
     pub(super) fn execute_indexed_choice_instr(