expr_list

Daniel Kroening · Daniel Kroening · commit 7e2849e23fb9 · 2018-05-27T13:11:28.000+01:00
diff --git a/src/hw-cbmc/hw_cbmc_parse_options.h b/src/hw-cbmc/hw_cbmc_parse_options.h
@@ -27,7 +27,7 @@ class hw_cbmc_parse_optionst:public cbmc_parse_optionst
   }
   
 protected:
-  virtual int get_modules(expr_listt &bmc_constraints);
+  virtual int get_modules(std::list<exprt> &bmc_constraints);
 
   irep_idt get_top_module();
   unsigned get_bound();

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ class hw_cbmc_parse_optionst:public cbmc_parse_optionst`
`27`	`27`	`}`
`28`	`28`
`29`	`29`	`protected:`
`30`		`- virtual int get_modules(expr_listt &bmc_constraints);`
	`30`	`+ virtual int get_modules(std::list<exprt> &bmc_constraints);`
`31`	`31`
`32`	`32`	`irep_idt get_top_module();`
`33`	`33`	`unsigned get_bound();`