From: Mark Thom Date: Tue, 10 Mar 2026 05:06:33 +0000 (-0700) Subject: Merge pull request #3189 from Skgland/fix-function_casts_as_integer X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4a8388a6e90232a0bd15b38b8007ae662f188501;p=scryer-prolog.git Merge pull request #3189 from Skgland/fix-function_casts_as_integer fix `function_casts_as_integer` warning --- 4a8388a6e90232a0bd15b38b8007ae662f188501 diff --cc src/machine/machine_state_impl.rs index 36a4772c,dc9d7c9a..fdaa6aeb --- a/src/machine/machine_state_impl.rs +++ b/src/machine/machine_state_impl.rs @@@ -61,10 -64,8 +61,9 @@@ impl MachineState cc: 0, global_clock: 0, dynamic_mode: FirstOrNext::First, - unify_fn: MachineState::unify, - bind_fn: MachineState::bind, + occurs_check: &Nsto, run_cleaners_fn: |_| false, + throwing_resource_error: false, } }