diff --git a/scripts/prove_stdio.sh b/scripts/prove_stdio.sh index 47f1a2706..8faeb7079 100755 --- a/scripts/prove_stdio.sh +++ b/scripts/prove_stdio.sh @@ -158,3 +158,4 @@ echo "Note, this duration is inclusive of circuit handling and overall process i # Clean up in case of success rm "$OUTPUT_LOG" +