From d45f84b632ca1c1d2c6ac5c8e90cb148ef64232e Mon Sep 17 00:00:00 2001
From: Brian Broll <brian.broll@vanderbilt.edu>
Date: Thu, 6 Oct 2016 11:21:22 -0500
Subject: [PATCH] Use userSetSpec for var rename. Fixes #1448

---
 blocks.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/blocks.js b/blocks.js
index d0dfab79..d0f2a30c 100644
--- a/blocks.js
+++ b/blocks.js
@@ -2332,7 +2332,7 @@ BlockMorph.prototype.userMenu = function () {
             function () {
                 new DialogBoxMorph(
                     myself,
-                    myself.setSpec,
+                    myself.userSetSpec,
                     myself
                 ).prompt(
                     "Variable name",