From 35870198e2356ee55e662fac97d88ba6b0137042 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 5 Mar 2017 23:19:50 -0800 Subject: 3755 --- html/043space.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/043space.cc.html') diff --git a/html/043space.cc.html b/html/043space.cc.html index a73959b0..d5a43d67 100644 --- a/html/043space.cc.html +++ b/html/043space.cc.html @@ -470,7 +470,7 @@ if ('onhashchange' in window) { 406 if (caller.steps.empty()) return; 407 if (caller.steps.at(0).products.empty() 408 || caller.steps.at(0).products.at(0).name != "default-space") { -409 raise << caller.name << " does not seem to start with default-space or local-scope\n" << end(); +409 raise << caller.name << " does not seem to start with 'local-scope' or 'default-space'\n" << end(); 410 } 411 } 412 :(after "Load Mu Prelude") -- cgit 1.4.1-2-gfad0