diff --git a/buffet/device_registration_info.cc b/buffet/device_registration_info.cc
index b76c79e..f1c84b8 100644
--- a/buffet/device_registration_info.cc
+++ b/buffet/device_registration_info.cc
@@ -1037,6 +1037,15 @@
                 base::Bind(&IgnoreCloudError));
 }
 
+void DeviceRegistrationInfo::OnDeviceDeleted(const std::string& device_id) {
+  if (device_id != config_->device_id()) {
+    LOG(WARNING) << "Unexpected device deletion notification for device ID '"
+                 << device_id << "'";
+    return;
+  }
+  MarkDeviceUnregistered();
+}
+
 void DeviceRegistrationInfo::MarkDeviceUnregistered() {
   if (!HaveRegistrationCredentials())
     return;