diff options
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(); |