From d58de2f8e42e8ebaa5822fc542e0ce0a4c23d89a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 May 2022 10:20:32 -0700 Subject: [PATCH] java build Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 2 +- src/cmd_context/cmd_context.cpp | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index cf34d3675..06dc96011 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -418,7 +418,7 @@ def mk_dotnet(dotnet): if "*" in sig or "*" in ret: continue dotnet.write(' [UnmanagedFunctionPointer(CallingConvention.Cdecl)]\n') - dotnet.write(f" public delegate {ret} {name}({sig});\n") + dotnet.write(' public delegate %s %s(%s);\n' % (ret,name,sig)) dotnet.write(' public class LIB\n') dotnet.write(' {\n') diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index 580cc2de4..303fcd00b 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -597,9 +597,8 @@ opt_wrapper* cmd_context::get_opt() { void cmd_context::set_opt(opt_wrapper* opt) { m_opt = opt; - for (unsigned i = 0; i < m_scopes.size(); ++i) { + for (unsigned i = 0; i < m_scopes.size(); ++i) m_opt->push(); - } m_opt->set_logic(m_logic); }