diff --git a/core/user_tags.mk b/core/user_tags.mk
index b88e54156..d5aa24dde 100644
--- a/core/user_tags.mk
+++ b/core/user_tags.mk
@@ -50,7 +50,6 @@ GRANDFATHERED_USER_MODULES += \
 	applypatch \
 	app_process \
 	archquery \
-	asm-3.1 \
 	atree \
 	audio \
 	badblocks \