Spirit: fixing bug in alternatives taking optionals

[SVN r57435]
This commit is contained in:
Hartmut Kaiser 2009-11-06 14:40:18 +00:00
parent d038e5d7fe
commit e3c447dc52

@ -1 +1 @@
Subproject commit b77800682ac033d1a5b4228f44372cdfe6513df9
Subproject commit b05fe26fae46932fed4e7bd940c193f68f46df0d