To make that the translation process does not fail on data produced by the logical engine (rather than the parser), where Some Anonymous appears instead of None in the patterns of xlate_return_info
To make that the translation process does not fail on data produced by
the logical engine (rather than the parser), where Some Anonymous appears instead
of None in the patterns of xlate_return_info


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@5486 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq