fixup! Specify source location for nondet expressions

romainbrenguier · romainbrenguier · commit a51d764b4fa7 · 2018-08-10T11:39:03.000+01:00
diff --git a/src/ansi-c/c_nondet_symbol_factory.cpp b/src/ansi-c/c_nondet_symbol_factory.cpp
@@ -43,6 +43,7 @@ static const symbolt &c_new_tmp_symbol(
 }
 
 /// \param type: Desired type (C_bool or plain bool)
+/// \param loc: source location
 /// \return nondet expr of that type
 static exprt c_get_nondet_bool(const typet &type, const source_locationt &loc)
 {

Original file line number	Diff line number	Diff line change
`@@ -43,6 +43,7 @@ static const symbolt &c_new_tmp_symbol(`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`/// \param type: Desired type (C_bool or plain bool)`
	`46`	`+/// \param loc: source location`
`46`	`47`	`/// \return nondet expr of that type`
`47`	`48`	`static exprt c_get_nondet_bool(const typet &type, const source_locationt &loc)`
`48`	`49`	`{`