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

cosmetic touchups;

Browse Source
This commit is contained in:
Mark Thom
2018-02-04 22:28:41 -07:00
parent 2c7dc9e2c6
commit 8326a573d9
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/prolog/machine/machine_state_impl.rs
View File

@@ -158,12 +158,11 @@ impl MachineState {
fn trail(&mut self, r: Ref) { fn trail(&mut self, r: Ref) {
match r { match r {
Ref::HeapCell(hc) => { Ref::HeapCell(hc) =>
if hc < self.hb { if hc < self.hb {
self.trail.push(r); self.trail.push(r);
self.tr += 1; self.tr += 1;
} },
},
Ref::StackCell(fr, _) => { Ref::StackCell(fr, _) => {
let fr_gi = self.and_stack[fr].global_index; let fr_gi = self.and_stack[fr].global_index;
let b_gi = if !self.or_stack.is_empty() { let b_gi = if !self.or_stack.is_empty() {