Fix error line number for webppl 0.9.4

probmods · Oct 18, 2016 · 93be502 · 93be502
1 parent 9a6d203
commit 93be502
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.js b/src/index.js
@@ -427,7 +427,7 @@ var CodeEditor = React.createClass({
           // We can use the following information for highlighting a
           // suitable point in the user program.
           var wpplError = error.wpplError,
-              lineNumber = wpplError.lineNumber - 1,
+              lineNumber = wpplError.lineNumber,
               columnNumber = wpplError.columnNumber,
               endColumn = wpplError.name ? columnNumber + wpplError.name.length : Infinity;
           var cm = comp.refs.editor.getCodeMirror();