From b14cdec968445e1502ead497b00f49d5bb68c92a Mon Sep 17 00:00:00 2001 From: KyleMiles Date: Tue, 18 Apr 2023 12:38:34 -0400 Subject: Rust API : Misc Changes and Improvements --- rust/src/lib.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'rust/src/lib.rs') diff --git a/rust/src/lib.rs b/rust/src/lib.rs index 57b71cba..61016c0f 100644 --- a/rust/src/lib.rs +++ b/rust/src/lib.rs @@ -238,7 +238,10 @@ pub fn open_view>(filename: F) -> Result Some(view), + _ => None, + } } }); -- cgit v1.3.1