about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-06-25 13:54:48 -0700
committerKartik Agaram <vc@akkartik.com>2018-06-25 13:54:48 -0700
commita519b78c18b2da5cf341a231e7b5c5181b694f14 (patch)
tree48d76bda17fc7cdeed2e6a35da12139b47240971
parentad778b63d05a55d97e79bcf286a2c29264de15d7 (diff)
downloadmu-a519b78c18b2da5cf341a231e7b5c5181b694f14.tar.gz
4274
Fix CI.
-rw-r--r--045closure_name.cc2
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