Fixed a bug in array.h
	The function of empty() has a bug.