From 7d07cd1de8d731c82b6acc2817bb219227d36fc2 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 1 Sep 2017 01:50:10 -0700 Subject: 3987 --- 082scenario_screen.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '082scenario_screen.cc') diff --git a/082scenario_screen.cc b/082scenario_screen.cc index ee90819e..ad61d379 100644 --- a/082scenario_screen.cc +++ b/082scenario_screen.cc @@ -156,8 +156,8 @@ Name[r]["screen"] = SCREEN; if (s == "screen") return true; :(before "End Rewrite Instruction(curr, recipe result)") -// rewrite `assume-screen width, height` to -// `screen:&:screen <- new-fake-screen width, height` +// rewrite 'assume-screen width, height' to +// 'screen:&:screen <- new-fake-screen width, height' if (curr.name == "assume-screen") { curr.name = "new-fake-screen"; if (!curr.products.empty()) { -- cgit 1.4.1-2-gfad0