Removed a def declaration