Added by Guido Trotter about 16 years ago
Add missing empty line
Two top level definitions were separated only by one empty line.Fixing this.
Reviewed-by: imsnah
View differences