From f08773ba08d2896fdc2c4102d9819e90b2a14d32 Mon Sep 17 00:00:00 2001
From: Sonny Martin <sonny.martin@diffblue.com>
Date: Wed, 22 Aug 2018 12:17:28 +0100
Subject: [PATCH 1/2] Amend DATA_INVARIANT docs

---
 src/util/invariant.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/invariant.h b/src/util/invariant.h
index 11dd82e036f..da12b607c6a 100644
--- a/src/util/invariant.h
+++ b/src/util/invariant.h
@@ -376,7 +376,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)

From e37e9b89a5419cd93a653f030ff472d73eb52203 Mon Sep 17 00:00:00 2001
From: Sonny Martin <sonny.martin@diffblue.com>
Date: Wed, 22 Aug 2018 12:18:37 +0100
Subject: [PATCH 2/2] Remove unneeded header

---
 src/util/invariant.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/invariant.h b/src/util/invariant.h
index da12b607c6a..06ac7a8f36e 100644
--- 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>
 
 /*