Merge pull request diffblue#2811 from sonodtt/invariant-docs-change

kroening · web-flow · commit ad7902ad4804 · 2018-08-22T13:49:46.000+01:00
Fix docs for data invariant &amp; remove tuple header
diff --git a/src/util/invariant.h b/src/util/invariant.h
@@ -12,7 +12,6 @@ Author: Martin Brain, martin.brain@diffblue.com
 #include <cstdlib>
 #include <stdexcept>
 #include <string>
-#include <tuple>
 #include <type_traits>
 
 /*
@@ -376,7 +375,7 @@ invariant_violated_string(
 
 // This condition should be used to document that assumptions that are
 // made on goto_functions, goto_programs, exprts, etc. being well formed.
-// "The data structure is corrupt or malformed"
+// "The data structure is not corrupt or malformed"
 #define DATA_INVARIANT2(CONDITION, REASON) INVARIANT2(CONDITION, REASON)
 #define DATA_INVARIANT3(CONDITION, REASON, DIAGNOSTICS)                        \
   INVARIANT3(CONDITION, REASON, DIAGNOSTICS)
