diff options
Diffstat (limited to 'src/global.h')
| -rw-r--r-- | src/global.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/global.h b/src/global.h index f7f10b30..85745ba2 100644 --- a/src/global.h +++ b/src/global.h @@ -109,6 +109,8 @@ See LICENSE file included with the distribution for details and disclaimer."; out << std::endl; } + option_t<global_scope_t> * lookup_option(const char * p); + virtual expr_t::ptr_op_t lookup(const string& name); OPTION(global_scope_t, debug_); |