From e301d57b367a70823015dcab6c120fbbe1942492 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 10 Aug 2020 08:39:22 -0700
Subject: [PATCH] chore: fix comment

---
 src/library/compiler/csimp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/compiler/csimp.cpp b/src/library/compiler/csimp.cpp
index de2617d81f..ef2ca32d03 100644
--- a/src/library/compiler/csimp.cpp
+++ b/src/library/compiler/csimp.cpp
@@ -950,7 +950,7 @@ class csimp_fn {
            let x := Array.size w in
            C
            ```
-           `f z` and `Array.size w` do not share any free variable, but it `w` is an reference to a field of `w`.
+           `f z` and `Array.size w` do not share any free variable, but `w` is an reference to a field of `z`.
            In the example above, `w` is an array, and `f z` will not be able to update the array nested there if
            we have `let x := Array.size w` after it.