# | Line 203 | Line 203 | userr: | |
---|---|---|
203 | ||
204 | ||
205 | void | |
206 | < | quit(code) /* exit gracefully */ |
207 | < | int code; |
206 | > | quit( /* exit gracefully */ |
207 | > | int code |
208 | > | ) |
209 | { | |
210 | if (ourdisplay != NULL) | |
211 | dev_close(); |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |