Fix formatting issues

diff --git a/src/codegen.rs b/src/codegen.rs
index 21fd4e4d15f4bcbc45e11a924e098789df41d794..7297b72c1556587f44a707feff8e130ab5f168d3 100644 (file)
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -296,12 +296,12 @@ impl DebrayAllocator {
                     self.mark_var_in_non_callable(var_num, term_loc, vr, code);
                     temp_v!(arg)
                 } else {
-                   match &self.var_data.records[var_num].allocation {
-                       VarAlloc::Perm(_, PermVarAllocation::Pending) => {
-                           self.mark_var_in_non_callable(var_num, term_loc, vr, code);
-                       }
-                       _ => {}
-                   }
+                    match &self.var_data.records[var_num].allocation {
+                        VarAlloc::Perm(_, PermVarAllocation::Pending) => {
+                            self.mark_var_in_non_callable(var_num, term_loc, vr, code);
+                        }
+                        _ => {}
+                    }
 
                     self.increment_running_count(var_num);
                     RegType::Perm(p)

diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index 30bb0a24b96d8289d6a3f4d353d982707809f87b..593e584aee91483f3d06d9d77cadf53a9f1c0ad6 100644 (file)
--- a/src/debray_allocator.rs
+++ b/src/debray_allocator.rs
@@ -166,12 +166,12 @@ impl DebrayAllocator {
         for var_num in subsumed_hits {
             match &mut self.var_data.records[var_num].allocation {
                 VarAlloc::Perm(_, ref mut allocation) => {
-                   if let PermVarAllocation::Done {
+                    if let PermVarAllocation::Done {
                         shallow_safety,
                         deep_safety,
                         ..
                     } = allocation
-                   {
+                    {
                         if !self
                             .branch_stack
                             .safety_unneeded_in_branch(shallow_safety, &branch_designator)
@@ -188,7 +188,7 @@ impl DebrayAllocator {
                             branch_occurrences.deep_safety.insert(var_num);
                         }
                     }
-                   
+
                     *allocation = PermVarAllocation::Pending;
                 }
                 _ => unreachable!(),
@@ -470,7 +470,7 @@ impl DebrayAllocator {
 
     #[inline(always)]
     pub fn get_binding(&self, var_num: usize) -> RegType {
-       self.var_data.records[var_num].allocation.as_reg_type()
+        self.var_data.records[var_num].allocation.as_reg_type()
     }
 
     pub fn num_perm_vars(&self) -> usize {
@@ -748,7 +748,7 @@ impl Allocator for DebrayAllocator {
             }
             RegType::Perm(0) => {
                 let p = self.alloc_perm_var(var_num, term_loc.chunk_num());
-               cell.set(VarReg::Norm(RegType::Perm(p)));
+                cell.set(VarReg::Norm(RegType::Perm(p)));
                 (RegType::Perm(p), true)
             }
             r @ RegType::Perm(_) => {

diff --git a/src/forms.rs b/src/forms.rs
index d905571fc5d98e6b733dc7d67d0b5dd494510544..a42dda7f71c45e0e74b1ed43ac4449cd90c992e0 100644 (file)
--- a/src/forms.rs
+++ b/src/forms.rs
@@ -885,8 +885,6 @@ pub(crate) struct PredicateInfo {
     pub(crate) has_clauses: bool,
 }
 
-
-
 impl PredicateInfo {
     #[inline]
     pub(crate) fn compile_incrementally(&self) -> bool {