rename "character" to "letter" in delimiter list

of “split” block

1 files changed, 2 insertions, 2 deletions

diff --git a/blocks.js b/blocks.js
index 998a4da..279acb7 100644
--- a/blocks.js
+++ b/blocks.js
@@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph, Costume*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2014-July-17';
+modules.blocks = '2014-July-18';
 
 
 var SyntaxElementMorph;
@@ -848,7 +848,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) {
                 null, // text
                 false, // numeric?
                 {
-                    'character' : ['character'],
+                    'letter' : ['letter'],
                     'whitespace' : ['whitespace'],
                     'line' : ['line'],
                     'tab' : ['tab'],