minor style fix
authorChristian Grothoff <christian@grothoff.org>
Sun, 29 Oct 2017 11:16:51 +0000 (12:16 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sun, 29 Oct 2017 11:16:51 +0000 (12:16 +0100)
commitd10108c802b56535b03597e9fbb7603b0eeef9c0
tree886713d48c99def9f7011ea977e8f4499d5f9212
parentca78392674d82d97832798f933b9c75f4e0af367
minor style fix
src/util/scheduler.c