Update StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go

ShubhamChaturvedi7 · kessplas · web-flow · commit 1a586b491ad4 · 2024-12-06T15:15:05.000-08:00
Co-authored-by: Kess Plasmeier &lt;76071473+kessplas@users.noreply.github.com&gt;
diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go
@@ -10,7 +10,7 @@ func ConcurrentCall(callee Callee, serialIters uint32, concurrentIters uint32) {
 		go func() {
 			defer wg.Done()
 			for j := uint32(0); j < serialIters; j++ {
-				calle.Call(j, concurrentPos)
+				callee.Call(j, concurrentPos)
 			}
 		}()
 		wg.Wait()

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ func ConcurrentCall(callee Callee, serialIters uint32, concurrentIters uint32) {`
`10`	`10`	`go func() {`
`11`	`11`	`defer wg.Done()`
`12`	`12`	`for j := uint32(0); j < serialIters; j++ {`
`13`		`- calle.Call(j, concurrentPos)`
	`13`	`+ callee.Call(j, concurrentPos)`
`14`	`14`	`}`
`15`	`15`	`}()`
`16`	`16`	`wg.Wait()`