fix

ufmg-smite · Nov 27, 2024 · c94775b · c94775b
1 parent a08adf9
commit c94775b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/carcara/src/ast/term.rs b/carcara/src/ast/term.rs
@@ -815,7 +815,7 @@ impl Rc<Term> {
                 return Ok(i.to_usize().unwrap());
             }
         }
-        return Err(CheckerError::ExpectedNonnegInteger(self.clone()));
+        Err(CheckerError::ExpectedNonnegInteger(self.clone()))
     }
 
     /// Similar to `Term::as_signed_number`, but returns a `CheckerError` on failure.