Skip to content

Commit

Permalink
Remove TODO comment about QueryState::drop()
Browse files Browse the repository at this point in the history
  • Loading branch information
bakaq committed Aug 10, 2024
1 parent d9d52b8 commit f70c937
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/machine/lib_machine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@ pub struct QueryState<'a> {

impl Drop for QueryState<'_> {
fn drop(&mut self) {
// TODO: Is this the right way to clean the machine state even when we drop this without
// consuming the whole iteration?
// This may be wrong if the iterator is not fully consumend, but from testing it seems
// fine.
self.machine.trust_me();
}
}
Expand Down

0 comments on commit f70c937

Please sign in to comment.