--- a/plugins/mod_console.lua	Sun Nov 28 21:09:55 2010 +0000
+++ b/plugins/mod_console.lua	Sun Nov 28 21:19:18 2010 +0000
@@ -19,6 +19,7 @@
 require "util.iterators";
 local jid_bare = require "util.jid".bare;
 local set, array = require "util.set", require "util.array";
+local cert_verify_identity = require "util.certverification".verify_identity;
 
 local commands = {};
 local def_env = {};