From 1eef26754fa40a56aa2b4dc94bc5bf4eca83bba6 Mon Sep 17 00:00:00 2001
From: Tarun Gaba <tarun.gaba7@gmail.com>
Date: Mon, 21 Jul 2014 17:15:11 +0530
Subject: [PATCH] A comma after `this.touch`

---
 IPython/html/static/widgets/js/widget_int.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IPython/html/static/widgets/js/widget_int.js b/IPython/html/static/widgets/js/widget_int.js
index d2a4388d7..ab5962a3a 100644
--- a/IPython/html/static/widgets/js/widget_int.js
+++ b/IPython/html/static/widgets/js/widget_int.js
@@ -77,7 +77,7 @@ define([
                 this.model.set('value', value, {updated_view: this});
                 this.$slider.slider('option', 'value', value);
                 this.$readout.text(value);
-                this.touch()
+                this.touch();
 
                 // Use the right CSS classes for vertical & horizontal sliders
                 if (orientation=='vertical') {