Merge pull request diffblue#2422 from tautschnig/vs-thread-id

Daniel Kroening · web-flow · commit d5ea06f1df90 · 2018-06-23T22:36:32.000+01:00
Fix type of thread_id to match goto-trace
diff --git 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)
   {

Original file line number	Diff line number	Diff line change
`@@ -273,7 +273,7 @@ class interpretert:public messaget`
`273`	`273`	`dynamic_typest dynamic_types;`
`274`	`274`	`int num_dynamic_objects;`
`275`	`275`	`mp_integer stack_depth;`
`276`		`- int thread_id;`
	`276`	`+ unsigned thread_id;`
`277`	`277`
`278`	`278`	`bool evaluate_boolean(const exprt &expr)`
`279`	`279`	`{`