Take care of another clippy warning

AeneasVerif · Nov 29, 2023 · 3bb64bd · 3bb64bd
1 parent fb8fbd1
commit 3bb64bd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/charon/src/driver.rs b/charon/src/driver.rs
@@ -168,7 +168,7 @@ pub fn translate(sess: &Session, tcx: TyCtxt, internal: &mut CharonCallbacks) ->
     // - compute the order in which to extract the definitions
     // - find the recursive definitions
     // - group the mutually recursive definitions
-    let ordered_decls = reorder_decls::reorder_declarations(&ctx)?;
+    let ordered_decls = reorder_decls::reorder_declarations(&ctx);
 
     //
     // =================

diff --git a/charon/src/reorder_decls.rs b/charon/src/reorder_decls.rs
@@ -456,7 +456,7 @@ impl Deps {
     }
 }
 
-pub fn reorder_declarations(ctx: &TransCtx) -> Result<DeclarationsGroups, ()> {
+pub fn reorder_declarations(ctx: &TransCtx) -> DeclarationsGroups {
     trace!();
 
     // Step 1: explore the declarations to build the graph
@@ -693,7 +693,7 @@ pub fn reorder_declarations(ctx: &TransCtx) -> Result<DeclarationsGroups, ()> {
 
     trace!("{:?}", reordered_decls);
 
-    Ok(reordered_decls)
+    reordered_decls
 }
 
 #[cfg(test)]