example1: does not seem to start with default-space or local-scope

[chriscool]

example1: does not seem to start with default-space or local-scope

[akkartik]

Ack, thanks for the report. I'll fix in an hour.

[achikin]

./mu text example1.mu
no such file text
example1:  does not seem to start with default-space or local-scope

same commit

[akkartik]

Now fixed. Please do a git pull.

[akkartik]

@achikin: there's also a typo in your command -- should be test not text.