From 3c1aedf21969810fd9e455cd8e0403454d19c74b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Nov 2021 17:08:28 -0800
Subject: [PATCH] fixing #5473

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_parsers.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/api_parsers.cpp b/src/api/api_parsers.cpp
index c40e0ccf38a..94132a36139 100644
--- a/src/api/api_parsers.cpp
+++ b/src/api/api_parsers.cpp
@@ -157,6 +157,9 @@ extern "C" {
         LOG_Z3_eval_smtlib2_string(c, str);
         if (!mk_c(c)->cmd()) {
             mk_c(c)->cmd() = alloc(cmd_context, false, &(mk_c(c)->m()));
+            install_dl_cmds(*mk_c(c)->cmd());
+            install_opt_cmds(*mk_c(c)->cmd());
+            install_smt2_extra_cmds(*mk_c(c)->cmd());
             mk_c(c)->cmd()->set_solver_factory(mk_smt_strategic_solver_factory());
         }
         scoped_ptr<cmd_context>& ctx = mk_c(c)->cmd();