@@ -93,7 +93,7 @@ codegenNode ci =
9393 , initialization = initializationNode
9494 , writeStrTemplate = "process.stdout.write(%0)"
9595 , readStrTemplate = "js_idris_readStr()"
96− , jsbnPath = "jsbn/jsbn-node.js"
96+ , jsbnPath = "jsbn/jsbn-browser.js"
9797 , extraRunTime = "Runtime-node.js"
9898 }
9999 )