Removed empty feature clause

This commit is contained in:
Colin Adams
2013-08-15 08:57:54 +01:00
parent 143608fd85
commit b5957d0f59

View File

@@ -364,8 +364,6 @@ feature {NONE} -- Implementation
end
end
feature -- Errors
feature -- Error reporting