diff --git a/src/frontend/mame/infoxml.cpp b/src/frontend/mame/infoxml.cpp
index b81aab7d8d0..ee5c51d3a21 100644
--- a/src/frontend/mame/infoxml.cpp
+++ b/src/frontend/mame/infoxml.cpp
@@ -830,7 +830,8 @@ void output_one_device(std::ostream &out, machine_config &config, device_t &devi
 			overall_unemulated |= dev.type().unemulated_features();
 			overall_imperfect |= dev.type().imperfect_features();
 
-			devtypes->insert(&device.type());
+			if (devtypes)
+				devtypes->insert(&device.type());
 		}
 	}