diff options
Diffstat (limited to '082scenario_screen.cc')
| -rw-r--r-- | 082scenario_screen.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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()) { |