1 /***** spin: version.h *****/
4 * This file is part of the public release of Spin. It is subject to the
5 * terms in the LICENSE file that is included in this source directory.
6 * Tool documentation is available at http://spinroot.com
9 #define SpinVersion "Spin Version 6.4.7 -- 19 August 2017"