tools.scaffold: remove unused ERROR:

diff --git a/basis/tools/scaffold/scaffold.factor b/basis/tools/scaffold/scaffold.factor
index 9ee8e442f7494c938868f5f93fa0e23778bca1ee..6b97361864ced4603b420ae5cc56508f507db602 100644 (file)
--- a/basis/tools/scaffold/scaffold.factor
+++ b/basis/tools/scaffold/scaffold.factor
@@ -16,10 +16,6 @@ SYMBOL: using
 ERROR: not-a-vocab-root string ;
 ERROR: vocab-name-contains-separator path ;
 ERROR: vocab-name-contains-dot path ;
-ERROR: bad-developer-name name ;
-
-M: bad-developer-name summary
-    drop "Developer name must be a string." ;
 
 <PRIVATE