Missing TKET_ASSERTs from reviewer suggestions

CQCL · Nov 6, 2023 · cba457c · cba457c
1 parent 6202371
commit cba457c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tket/src/Diagonalisation/Diagonalisation.cpp b/tket/src/Diagonalisation/Diagonalisation.cpp
@@ -594,6 +594,7 @@ std::pair<Circuit, std::optional<Qubit>> reduce_overlap_of_paulis(
             u.add_op<Qubit>(OpType::H, {qb});
             break;
           default:
+            TKET_ASSERT(false);
             break;  // Cannot hit this case
         }
         break;
@@ -608,6 +609,7 @@ std::pair<Circuit, std::optional<Qubit>> reduce_overlap_of_paulis(
             u.add_op<Qubit>(OpType::S, {qb});
             break;
           default:
+            TKET_ASSERT(false);
             break;  // Cannot hit this case
         }
         break;