Replace else case with assertion

ad-freiburg · Nov 24, 2024 · ad0128a · ad0128a
1 parent 3f817fa
commit ad0128a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/engine/AddCombinedRowToTable.h b/src/engine/AddCombinedRowToTable.h
@@ -141,11 +141,10 @@ class AddCombinedRowToIdTable {
   // pointer reference to the proper value.
   template <typename T>
   void mergeVocab(const T& table, const LocalVocab*& currentVocab) {
+    AD_CORRECTNESS_CHECK(currentVocab == nullptr);
     if constexpr (requires { table.getLocalVocab(); }) {
       currentVocab = &table.getLocalVocab();
       mergedVocab_.mergeWith(std::span{&table.getLocalVocab(), 1});
-    } else {
-      currentVocab = nullptr;
     }
   }