From 5a9ff748fba89cd35c6f0c6f343ba3ded507a333 Mon Sep 17 00:00:00 2001
From: alejandro baranek <alejandrobaranek@gmail.com>
Date: Fri, 31 May 2024 17:33:51 -0300
Subject: [PATCH] cargo fmt

---
 crates/concrete_check/src/linearity_check.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/crates/concrete_check/src/linearity_check.rs b/crates/concrete_check/src/linearity_check.rs
index f8e24fb..1ff50fa 100644
--- a/crates/concrete_check/src/linearity_check.rs
+++ b/crates/concrete_check/src/linearity_check.rs
@@ -703,7 +703,8 @@ impl LinearityChecker {
             Statement::If(if_stmt) => {
                 // Handle conditional statements
                 state_tbl = self.check_expr(state_tbl, depth, &if_stmt.cond, context)?;
-                state_tbl = self.check_stmts(state_tbl, depth + 1, &if_stmt.block_stmts, context)?;
+                state_tbl =
+                    self.check_stmts(state_tbl, depth + 1, &if_stmt.block_stmts, context)?;
                 if let Some(else_block) = &if_stmt.else_stmts {
                     state_tbl = self.check_stmts(state_tbl, depth + 1, else_block, context)?;
                 }
@@ -730,7 +731,8 @@ impl LinearityChecker {
                     //TODO check assign statement
                     //self.check_stmt_assign(depth, post)?;
                 }
-                state_tbl = self.check_stmts(state_tbl, depth + 1, &for_stmt.block_stmts, context)?;
+                state_tbl =
+                    self.check_stmts(state_tbl, depth + 1, &for_stmt.block_stmts, context)?;
                 Ok(state_tbl)
             }
             Statement::Assign(assign_stmt) => {