diff --git a/SAW/proof/AES/AES-GCM-check-entrypoint.go b/SAW/proof/AES/AES-GCM-check-entrypoint.go
index af6fe667..6ee9781c 100644
--- a/SAW/proof/AES/AES-GCM-check-entrypoint.go
+++ b/SAW/proof/AES/AES-GCM-check-entrypoint.go
@@ -38,7 +38,7 @@ func main() {
 	num_parallel_process := int(math.Floor((float64(total_memory) / float64(memory_used_per_test))))
 	log.Printf("System has %d bytes of memory, running %d jobs in parallel", total_memory, num_parallel_process)
 	for i := 0; i < 2; i++ {
-		for j := 0; j < 2; i++ {
+		for j := 0; j < 2; j++ {
 			wg.Add(1)
 			saw_template := "verify-AES-GCM-selectcheck-template.txt"
 			mres_placeholder_name := "TARGET_MRES_PLACEHOLDER"