summaryrefslogtreecommitdiff
path: root/session.cc
diff options
context:
space:
mode:
Diffstat (limited to 'session.cc')
-rw-r--r--session.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/session.cc b/session.cc
index 100bb7df..fc97fa9e 100644
--- a/session.cc
+++ b/session.cc
@@ -290,6 +290,8 @@ expr::ptr_op_t session_t::lookup(const string& name)
case 'v':
if (! *(p + 1) || std::strcmp(p, "verbose") == 0)
return MAKE_FUNCTOR(session_t::option_verbose);
+ else if (std::strcmp(p, "version") == 0)
+ return MAKE_FUNCTOR(session_t::option_version);
else if (std::strcmp(p, "verify") == 0)
return MAKE_FUNCTOR(session_t::option_verify);
break;