diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-06-25 13:54:48 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-06-25 13:54:48 -0700 |
| commit | a519b78c18b2da5cf341a231e7b5c5181b694f14 (patch) | |
| tree | 48d76bda17fc7cdeed2e6a35da12139b47240971 | |
| parent | ad778b63d05a55d97e79bcf286a2c29264de15d7 (diff) | |
| download | mu-a519b78c18b2da5cf341a231e7b5c5181b694f14.tar.gz | |
4274
Fix CI.
| -rw-r--r-- | 045closure_name.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/045closure_name.cc b/045closure_name.cc index 9fbda150..6b2defd3 100644 --- a/045closure_name.cc +++ b/045closure_name.cc @@ -175,7 +175,7 @@ def main [ def foo [ local-scope x:num <- copy 0 - return default-space/names:foo + return default-space:space/names:foo ] def main [ local-scope |