From b71340552fa0caa870877f87a1273e8d4c91efe6 Mon Sep 17 00:00:00 2001 From: Jeffrey Yasskin Date: Sun, 8 Aug 2010 19:24:35 -0700 Subject: Add names to tasks and domains. These can either be an explicit literal string after the "spawn" keyword, or implicitly the call expression used to start the spawn. --- src/boot/me/layout.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot/me/layout.ml') diff --git a/src/boot/me/layout.ml b/src/boot/me/layout.ml index a9358795..1df37f0f 100644 --- a/src/boot/me/layout.ml +++ b/src/boot/me/layout.ml @@ -400,7 +400,7 @@ let layout_visitor let callees = match s.node with Ast.STMT_call (_, lv, _) - | Ast.STMT_spawn (_, _, lv, _) -> [| lv |] + | Ast.STMT_spawn (_, _, _, lv, _) -> [| lv |] | Ast.STMT_check (_, calls) -> Array.map (fun (lv, _) -> lv) calls | _ -> [| |] in -- cgit v1.2.3