This patch corrects a minor mis-statement in the CREATE DOMAIN docs,

pointed out by Chris KL on -hackers a little while ago -- NOT NULL !=
CHECK xxx IS NOT NULL.

Neil Conway