Update proc.sql