diff --git a/charon/src/driver.rs b/charon/src/driver.rs
index 471c1b34..d8504028 100644
--- 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
index 62eb14fd..91a3c038 100644
--- 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)]