commit 59267f10413b1af607defdf9bbed339fce1374ea
author Ali Ghassemi <aghassemi@google.com> Tue Apr 28 17:27:10 2015 -0700
committer Ali Ghassemi <aghassemi@google.com> Tue Apr 28 17:27:39 2015 -0700
tree b73e7a87ab3fb9c86388cde03fc6eb722c9d03d8
parent 896d460ccae2cbd216971a1247d89998eb9f3d84

chat: vanadium.errors had been renamed to vanadium.verror.

Change-Id: Ic64aef3f1bdd25b426a53c34116d25210f98e43e

clients/web/js/index.js

diff --git a/clients/web/js/index.js b/clients/web/js/index.js
index 71eed55..6127906 100644
--- a/clients/web/js/index.js
+++ b/clients/web/js/index.js
@@ -23,7 +23,7 @@
 
 vanadium.init(vanadiumConfig, function(err, rt) {
   if (err) {
-    if (err instanceof vanadium.errors.ExtensionNotInstalledError) {
+    if (err instanceof vanadium.verror.ExtensionNotInstalledError) {
       return vanadium.extension.promptUserToInstallExtension();
     }
     return displayError(err);