From d60f69bbe91bde69275c2de2c09f38f6c377b7d3 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Fri, 22 May 2015 21:28:04 -0700
Subject: 1425

---
 075scenario_keyboard.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/075scenario_keyboard.cc b/075scenario_keyboard.cc
index ceea12c9..31c10e82 100644
--- a/075scenario_keyboard.cc
+++ b/075scenario_keyboard.cc
@@ -46,6 +46,7 @@ if (curr.name == "assume-keyboard") {
   // leave second instruction in curr
   curr.clear();
   curr.operation = Recipe_number["init-fake-keyboard"];
+  curr.name = "init-fake-keyboard";
   assert(curr.ingredients.empty());
   curr.ingredients.push_back(reagent("keyboard:address"));
   curr.ingredients.at(0).set_value(KEYBOARD);
-- 
cgit 1.4.1-2-gfad0