Boolean networks have recently been attracting considerable interest as computational models for genetic and cellular networks. We consider a Mayer-type optimal control problem for a single-input Boolean network, and derive a necessary condition for a control to be optimal. This provides an analog of Pontryagin's maximum principle for single-input Boolean networks.