1 files changed, 3 insertions, 3 deletions
diff --git a/session.h b/session.h
index 36d0470f..5f064fb2 100644
--- a/session.h
+++ b/session.h
@@ -199,16 +199,16 @@ See LICENSE file included with the distribution for details and disclaimer.\n";
   // Debug options
   //
 
-  value_t option_trace_(scope_t& locals) {
+  value_t option_trace_(scope_t&) {
     return NULL_VALUE;
   }
-  value_t option_debug_(scope_t& locals) {
+  value_t option_debug_(scope_t&) {
     return NULL_VALUE;
   }
-
   value_t option_verify(scope_t&) {
     return NULL_VALUE;
   }
+
   value_t option_verbose(scope_t&) {
 #if defined(LOGGING_ON)
     if (_log_level < LOG_INFO)