diff --git a/test_programs/execution_failure/fold_nested_brillig_assert_fail/src/main.nr b/test_programs/execution_failure/fold_nested_brillig_assert_fail/src/main.nr
index 21fd4006c2a..1c1563ffe1d 100644
--- a/test_programs/execution_failure/fold_nested_brillig_assert_fail/src/main.nr
+++ b/test_programs/execution_failure/fold_nested_brillig_assert_fail/src/main.nr
@@ -3,6 +3,7 @@
 // The features being tested is using assert on brillig that is triggered through nested ACIR calls.
 // We want to make sure we get a call stack from the original call in main to the failed assert.
 fn main(x: Field) {
+    assert(1 == fold_conditional_wrapper(!x as bool));
     assert(1 == fold_conditional_wrapper(x as bool));
 }
 
diff --git a/tooling/nargo/src/ops/execute.rs b/tooling/nargo/src/ops/execute.rs
index 2e214c4e425..5a43b1c2f9c 100644
--- a/tooling/nargo/src/ops/execute.rs
+++ b/tooling/nargo/src/ops/execute.rs
@@ -167,6 +167,10 @@ impl<'a, F: AcirField, B: BlackBoxFunctionSolver<F>, E: ForeignCallExecutor<F>>
                 }
             }
         }
+        // Clear the call stack if we have succeeded in executing the circuit.
+        // This needs to be done or else all successful ACIR call stacks will also be
+        // included in a failure case.
+        self.call_stack.clear();
 
         Ok(acvm.finalize())
     }