bug fix variable in EUDATCatchErrorSize in CatchError.re