Update procedure.sql

compiles succesfully!