diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-18 23:12:41 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-03-18 23:12:41 +0100 |
| commit | 735b4c4b743a774c5d53ab6a8e10f0f8308a925b (patch) | |
| tree | 776d0e3ee6720193d54d927e30c6ec1abd60fef6 /src/goto.h | |
| parent | ace94503b4572d854ae326273a3ecdc37d978400 (diff) | |
explicitly instantiate MicroStateMachine: fixes compilation with gcc-4.4
Diffstat (limited to 'src/goto.h')
0 files changed, 0 insertions, 0 deletions