From b74744cd5851e034a88d4a335b22a372ebb39237 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 30 Aug 2017 03:07:18 -0700 Subject: 3985 --- 071recipe.cc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to '071recipe.cc') diff --git a/071recipe.cc b/071recipe.cc index 9d77869d..a3a258c7 100644 --- a/071recipe.cc +++ b/071recipe.cc @@ -277,9 +277,7 @@ bool is_mu_recipe(const reagent& r) { if (!r.type) return false; if (r.type->atom) return r.type->name == "recipe-literal"; - if (!r.type->left->atom) return false; - if (r.type->left->name == "recipe") return true; - return false; + return r.type->left->atom && r.type->left->name == "recipe"; } :(scenario copy_typecheck_recipe_variable) -- cgit 1.4.1-2-gfad0