diff options
author | Aaron O'Mullan <aaron.omullan@gmail.com> | 2022-03-16 00:33:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-16 00:33:46 +0100 |
commit | bd481bf095f920a419ea55543f911e087f98f36f (patch) | |
tree | b4f97aabfd3734770c5367b1253511a02d86af87 /core/ops_builtin.rs | |
parent | 672f66dde1f7ec87282d37e10cac2cdd36e5f181 (diff) |
feat(ops): optional OpState (#13954)
Diffstat (limited to 'core/ops_builtin.rs')
-rw-r--r-- | core/ops_builtin.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/core/ops_builtin.rs b/core/ops_builtin.rs index 92f77f954..d8729688e 100644 --- a/core/ops_builtin.rs +++ b/core/ops_builtin.rs @@ -54,7 +54,7 @@ pub fn op_resources( } #[op] -pub fn op_void_sync(_state: &mut OpState) -> Result<(), Error> { +pub fn op_void_sync() -> Result<(), Error> { Ok(()) } @@ -101,11 +101,7 @@ pub fn op_metrics( /// Builtin utility to print to stdout/stderr #[op] -pub fn op_print( - _state: &mut OpState, - msg: String, - is_err: bool, -) -> Result<(), Error> { +pub fn op_print(msg: String, is_err: bool) -> Result<(), Error> { if is_err { stderr().write_all(msg.as_bytes())?; stderr().flush().unwrap(); |