Spirit: added missing header file (merged from trunk)

[SVN r57015]
This commit is contained in:
Hartmut Kaiser 2009-10-20 14:26:29 +00:00
parent 7828d35e9d
commit 922d4ed6bf

@ -1 +1 @@
Subproject commit 435a4ed26295cf7034e5be70b24893af8c9ced2f
Subproject commit 79e1a894e264c224c23ab02a085311183adc4a4b