From c541f90d5b1ffdbe18523f297da072024d8a5ea9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 22 Mar 2017 07:40:16 -0700 Subject: [PATCH] fix(library/tactic/vm_monitor): compilation warning --- src/library/tactic/vm_monitor.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/library/tactic/vm_monitor.cpp b/src/library/tactic/vm_monitor.cpp index 5de45d9966..609ec7f26d 100644 --- a/src/library/tactic/vm_monitor.cpp +++ b/src/library/tactic/vm_monitor.cpp @@ -435,7 +435,8 @@ void initialize_vm_monitor() { register_system_attribute(basic_attribute( "vm_monitor", "Registers a new virtual machine monitor. The annotated definition must be the of type " "`vm_monitor S`. The command will override the last monitor.", - [](environment const & env, io_state const &, name const & n, unsigned, bool persistent) { + [](environment const & env, io_state const &, name const & n, unsigned, bool /* persistent */) { + /* Remark: We are currently ignoring the 'local' (i.e., persistent == false) modifier */ return vm_monitor_register(env, n); }));