Fix gcc warning

Internal.h

@@ -463,6 +463,7 @@ template <class ConflictSetImpl> struct TestDriver {
     case ConflictSet::TooOld:
       return "too old";
     }
+    abort();
   }
 
   // Call until it returns true, for "done". Check internal invariants etc