Merge pull request #2342 from AleoHQ/remove_extraneous_set_constraint…

…_limit

Remove extraneous set_constraint_limit and clarify why

synthesizer/process/src/stack/call/mod.rs

@@ -381,11 +381,6 @@ impl<N: Network> CallTrait<N> for Call<N> {
             // Inject the existing circuit.
             A::inject_r1cs(r1cs);
 
-            // If in 'CheckDeployment' mode, reset the constraint limit back to the parent circuit limit.
-            if let CallStack::CheckDeployment(_, _, _, constraint_limit) = &registers.call_stack() {
-                A::set_constraint_limit(*constraint_limit);
-            }
-
             use circuit::Inject;
 
             // Inject the network ID as `Mode::Constant`.

synthesizer/process/src/stack/execute.rs

@@ -144,6 +144,7 @@ impl<N: Network> StackExecute<N> for Stack<N> {
         A::reset();
 
         // If in 'CheckDeployment' mode, set the constraint limit.
+        // We do not have to reset it after function calls because `CheckDeployment` mode does not execute those.
         if let CallStack::CheckDeployment(_, _, _, constraint_limit) = &call_stack {
             A::set_constraint_limit(*constraint_limit);
         }