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

cargo fmt

Browse Source
This commit is contained in:
bakaq
2024-12-12 06:03:43 -03:00
parent 74e3d32ca9
commit 2e910de485
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/lib_machine/mod.rs
View File

@@ -521,9 +521,7 @@ impl Iterator for QueryState<'_> {
// choice point, so we should break. // choice point, so we should break.
self.machine.machine_st.backtrack(); self.machine.machine_st.backtrack();
Some(Ok(LeafAnswer::LeafAnswer { Some(Ok(LeafAnswer::LeafAnswer { bindings }))
bindings,
}))
} }
} }