Revert "Don't shadow variable pid of higher-scope"

This reverts commit e251b6801b.

It doesn't matter anymore.
This commit is contained in:
Michael Catanzaro 2015-07-23 13:38:47 -05:00
parent e251b6801b
commit 530c4d5747

View file

@ -110,9 +110,9 @@ public abstract class ChessEngine : Object
return true;
}
private void engine_stopped_cb (Pid pid_engine)
private void engine_stopped_cb (Pid pid)
requires (started)
requires (pid_engine == this.pid)
requires (pid == this.pid)
{
stop (false);
stopped_unexpectedly ();