2c2
< * Copyright (c) 2014-2015 ARM Limited
---
> * Copyright (c) 2014-2017 ARM Limited
307a308,309
> /** Kill the diod child process at the end of the simulation */
> void terminateDiod();