From 9c72f610c60e57d213c090b7ffb6f3225ccf430b Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 17:01:51 +0100
Subject: [PATCH] Fix type of thread_id to match goto-trace

---
 src/goto-programs/interpreter_class.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-programs/interpreter_class.h b/src/goto-programs/interpreter_class.h
index ccc4730fba0..04b3d32446d 100644
--- a/src/goto-programs/interpreter_class.h
+++ b/src/goto-programs/interpreter_class.h
@@ -273,7 +273,7 @@ class interpretert:public messaget
   dynamic_typest dynamic_types;
   int num_dynamic_objects;
   mp_integer stack_depth;
-  int thread_id;
+  unsigned thread_id;
 
   bool evaluate_boolean(const exprt &expr)
   {