check backend type

potassco · Dec 11, 2024 · 72c4061 · 72c4061
1 parent 7ff4e13
commit 72c4061
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/libclingo/src/control.cc b/libclingo/src/control.cc
@@ -2221,6 +2221,9 @@ extern "C" bool clingo_control_register_backend(clingo_control_t *control, cling
                 backend = Output::make_backend(std::move(out), Output::OutputFormat::INTERMEDIATE, false, false);
                 break;
             }
+            default: {
+                throw std::runtime_error("invalid backend type given");
+            }
         }
         control->registerObserver(std::move(backend), replace);
     }