From 2e91249f78023797097286c47d335c4bf2867352 Mon Sep 17 00:00:00 2001
From: Sergey Morozov <morozov.serg901@gmail.com>
Date: Mon, 21 Aug 2023 14:23:50 +0300
Subject: [PATCH] [fix] Added difference_type for ImmutableTree::iterator: it
 caused CE om some platforms.

---
 include/klee/ADT/ImmutableTree.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/include/klee/ADT/ImmutableTree.h b/include/klee/ADT/ImmutableTree.h
index 401cfef07c..c02491fed6 100644
--- a/include/klee/ADT/ImmutableTree.h
+++ b/include/klee/ADT/ImmutableTree.h
@@ -132,6 +132,13 @@ template <class K, class V, class KOV, class CMP>
 class ImmutableTree<K, V, KOV, CMP>::iterator {
   friend class ImmutableTree<K, V, KOV, CMP>;
 
+public:
+  typedef std::bidirectional_iterator_tag iterator_category;
+  typedef V value_type;
+  typedef std::ptrdiff_t difference_type;
+  typedef V *pointer;
+  typedef V &reference;
+
 private:
   Node *root; // so can back up from end
   FixedStack<Node *> stack;