Don't use error stack if empty

Fallback to using location instead. Fixes #212
MiniZinc · Feb 18, 2025 · 999fad7 · 999fad7
1 parent 8b31b48
commit 999fad7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/MiniZincIDE/mainwindow.cpp b/MiniZincIDE/mainwindow.cpp
@@ -2972,8 +2972,8 @@ void MainWindow::on_minizincError(const QJsonObject& error) {
                          : currentTheme.warningColor.get(darkMode);
     QString messageType = isError ? "Errors" : "Warnings";
 
-    if (error["stack"].isArray()) {
-        auto stack = error["stack"].toArray();
+    auto stack = error["stack"].toArray();
+    if (!stack.empty()) {
         QString lastFile = "";
         int lastLine = -1;
         for (auto it : stack) {