Fix get_loophead_selects prototype

FrNecas · FrNecas · commit b11501dc5b83 · 2021-08-12T10:00:38.000+02:00
Signed-off-by: František Nečas &lt;frantisek.necas@protonmail.com&gt;
diff --git a/src/2ls/summary_checker_base.cpp b/src/2ls/summary_checker_base.cpp
@@ -361,7 +361,7 @@ void summary_checker_baset::do_show_vcc(
 /// countermodel is spurious
 exprt::operandst summary_checker_baset::get_loophead_selects(
   const irep_idt &function_name,
-  const local_SSAt &SSA, prop_convt &solver)
+  const local_SSAt &SSA, prop_conv_solvert &solver)
 {
   // TODO: this should be provided by unwindable_local_SSA
   exprt::operandst loophead_selects;
diff --git a/src/2ls/summary_checker_base.h b/src/2ls/summary_checker_base.h
@@ -91,7 +91,7 @@ class summary_checker_baset:public property_checkert
   exprt::operandst get_loophead_selects(
     const irep_idt &function_name,
     const local_SSAt &,
-    prop_convt &);
+    prop_conv_solvert &);
   bool is_spurious(
     const exprt::operandst& loophead_selects,
     incremental_solvert&);

Original file line number	Diff line number	Diff line change
`@@ -361,7 +361,7 @@ void summary_checker_baset::do_show_vcc(`
`361`	`361`	`/// countermodel is spurious`
`362`	`362`	`exprt::operandst summary_checker_baset::get_loophead_selects(`
`363`	`363`	`const irep_idt &function_name,`
`364`		`- const local_SSAt &SSA, prop_convt &solver)`
	`364`	`+ const local_SSAt &SSA, prop_conv_solvert &solver)`
`365`	`365`	`{`
`366`	`366`	`// TODO: this should be provided by unwindable_local_SSA`
`367`	`367`	`exprt::operandst loophead_selects;`