the step number needs to be a size_t

smowton · Sep 17, 2017 · 2a7a0e8 · 2a7a0e8
1 parent f22a864
commit 2a7a0e8
Showing 1 changed file with 1 addition and 1 deletion.
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; }