tree d78946533db972ab12f0c2eb532c8fa042f000bd
parent 65d1cff97c066e4399a175ef7294a5343c0b94d1
author Simon Marchi <simon.marchi@ericsson.com> 1480082855 -0500
committer Simon Marchi <simon.marchi@ericsson.com> 1480082855 -0500

Fix typo in comment

gdb/ChangeLog:

	* infcmd.c (interrupt_command): Fix typo in comment.