the step number needs to be a size_t

Daniel Kroening · Daniel Kroening · commit 2a7a0e899334 · 2017-09-17T16:19:23.000+01:00
diff --git a/src/goto-programs/goto_trace.h b/src/goto-programs/goto_trace.h
@@ -35,7 +35,7 @@ Date: July 2005
 class goto_trace_stept
 {
 public:
-  unsigned step_nr;
+  std::size_t step_nr;
 
   bool is_assignment() const      { return type==typet::ASSIGNMENT; }
   bool is_assume() const          { return type==typet::ASSUME; }

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ Date: July 2005`
`35`	`35`	`class goto_trace_stept`
`36`	`36`	`{`
`37`	`37`	`public:`
`38`		`- unsigned step_nr;`
	`38`	`+ std::size_t step_nr;`
`39`	`39`
`40`	`40`	`bool is_assignment() const { return type==typet::ASSIGNMENT; }`
`41`	`41`	`bool is_assume() const { return type==typet::ASSUME; }`