1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp
index 51cb6663f..5198ea2d1 100644
--- a/src/smt/command.cpp
+++ b/src/smt/command.cpp
@@ -2438,6 +2438,10 @@ void GetInfoCommand::invoke(SmtEngine* smtEngine)
   {
     d_commandStatus = new CommandUnsupported();
   }
+  catch (RecoverableModalException& e)
+  {
+    d_commandStatus = new CommandRecoverableFailure(e.what());
+  }
   catch (exception& e)
   {
     d_commandStatus = new CommandFailure(e.what());