goto-instrument/wmm: add missing argument

tautschnig · tautschnig · commit 41a800cbe547 · 2018-06-23T16:40:41.000+01:00
The function takes multiple arguments with default values, but only the middle
one had been omitted.
diff --git a/src/goto-instrument/wmm/weak_memory.cpp b/src/goto-instrument/wmm/weak_memory.cpp
@@ -155,7 +155,7 @@ void weak_memory(
     instrumenter.set_parameters_collection(input_max_var,
       input_max_po_trans, ignore_arrays);
   else
-    instrumenter.set_parameters_collection(max_thds, ignore_arrays);
+    instrumenter.set_parameters_collection(max_thds, 0, ignore_arrays);
 
   if(SCC)
   {

Original file line number	Diff line number	Diff line change
`@@ -155,7 +155,7 @@ void weak_memory(`
`155`	`155`	`instrumenter.set_parameters_collection(input_max_var,`
`156`	`156`	`input_max_po_trans, ignore_arrays);`
`157`	`157`	`else`
`158`		`- instrumenter.set_parameters_collection(max_thds, ignore_arrays);`
	`158`	`+ instrumenter.set_parameters_collection(max_thds, 0, ignore_arrays);`
`159`	`159`
`160`	`160`	`if(SCC)`
`161`	`161`	`{`