>>Is this a stored procedure? What you have should work.
>
>No, this is plain query. When I try that in their Interactive SQL interface, it doesn't work. It says "Result not permitted in batch statement".

If you are doing that in ISQL then you need to put a begin and end around the query.