From 275b99e408534bfd63d7257b49f352dd5893339c Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Sun, 27 May 2018 21:32:15 -0700
Subject: [PATCH] Add missing override

---
 src/cmd_context/extra_cmds/dbg_cmds.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cmd_context/extra_cmds/dbg_cmds.cpp b/src/cmd_context/extra_cmds/dbg_cmds.cpp
index ceb979761..31fc4b008 100644
--- a/src/cmd_context/extra_cmds/dbg_cmds.cpp
+++ b/src/cmd_context/extra_cmds/dbg_cmds.cpp
@@ -365,7 +365,7 @@ public:
         if (m_fml == nullptr) return CPK_EXPR; 
         return CPK_EXPR_LIST;
     }
-    void set_next_arg(cmd_context& ctx, expr * arg) { m_fml = arg; }
+    void set_next_arg(cmd_context& ctx, expr * arg) override { m_fml = arg; }
     void set_next_arg(cmd_context & ctx, unsigned num, expr * const * ts) override {
         m_vars.append(num, ts);
     }