1 files changed, 1 insertions, 0 deletions

diff --git a/index.html b/index.html
index eb76abed..f494ee67 100755
--- a/index.html
+++ b/index.html
@@ -198,6 +198,7 @@
         <script type="text/javascript" src="imports/codemirror/lib/util/match-highlighter.js"></script>
         <script type="text/javascript" src="imports/codemirror/lib/util/simple-hint.js"></script>
         <script type="text/javascript" src="imports/codemirror/lib/util/javascript-hint.js"></script>
+        <script type="text/javascript" src="imports/codemirror/lib/util/formatting.js"></script>
 
 
         <script type="text/javascript" src="node_modules/montage/montage.js"></script>