From a87211ff29a43918adfcda1c071936f71411d8af Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 1 Sep 2011 20:32:50 -0700 Subject: [PATCH] tools.scaffold: remove unused ERROR: --- basis/tools/scaffold/scaffold.factor | 4 ---- 1 file changed, 4 deletions(-) diff --git a/basis/tools/scaffold/scaffold.factor b/basis/tools/scaffold/scaffold.factor index 9ee8e442f7..6b97361864 100644 --- 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." ;