From aa8327cb5d654a820e26caa136e63b908f4f1322 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Thu, 1 Feb 2024 17:01:47 -0800 Subject: [PATCH] Fix gcc warning --- Internal.h | 1 + 1 file changed, 1 insertion(+) diff --git a/Internal.h b/Internal.h index b012206..2d329f1 100644 --- a/Internal.h +++ b/Internal.h @@ -463,6 +463,7 @@ template struct TestDriver { case ConflictSet::TooOld: return "too old"; } + abort(); } // Call until it returns true, for "done". Check internal invariants etc