rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Thom
2021-05-04 20:54:00 -06:00
parent c9e32c449a
commit 533d1ea9ab
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/machine_state_impl.rs
View File

@@ -3268,13 +3268,13 @@ impl MachineState {
} }
} }
} }
self.dynamic_mode = FirstOrNext::Next;
} }
None => { None => {
self.fail = true; self.fail = true;
} }
} }
self.dynamic_mode = FirstOrNext::Next;
} }
pub(super) fn execute_indexed_choice_instr( pub(super) fn execute_indexed_choice_instr(