Re: Newbie Q : Exception handling

[Jeffrey Carter <jeffrey.carter@boeing.com>]

If you read carefully the description of what Enumeration_IO.Get does,
you'll see that it looks at the digit but doesn't remove it from the
buffer, so the following Get encounters it again, resulting in an
infinite loop.

Others have suggested adding Skip_Line. This will work, but I generally
advise using Get_Line to input an entire line, then decode it Get, when
the input comes from a human.

-- 
Jeffrey Carter