Fix CI.
This commit is contained in:
Kartik Agaram 2018-06-25 13:54:48 -07:00
parent ad778b63d0
commit a519b78c18
1 changed files with 1 additions and 1 deletions

View File

@ -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