From 03740189647b1930f077ff49f0ee7176cfe8dba6 Mon Sep 17 00:00:00 2001
From: svorenova <maria.svorenova@diffblue.com>
Date: Wed, 22 Aug 2018 12:03:10 +0100
Subject: [PATCH] Deprecate nil_typet

---
 src/util/std_types.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/util/std_types.h b/src/util/std_types.h
index 65df782c18f..0914bfde922 100644
--- a/src/util/std_types.h
+++ b/src/util/std_types.h
@@ -32,9 +32,10 @@ class bool_typet:public typet
   }
 };
 
-/// The NIL type, i.e., an invalid type, no value. Use `optional<typet>`
-/// instead where possible.
-class nil_typet:public typet
+/// The NIL type, i.e., an invalid type, no value.
+/// \deprecated Use `optional<typet>` instead.
+// NOLINTNEXTLINE
+class DEPRECATED("Use `optional<typet>` instead.") nil_typet : public typet
 {
 public:
   nil_typet():typet(static_cast<const typet &>(get_nil_irep()))