Implement handle as the identity function

thomasspriggs · thomasspriggs · commit c7aefa6ffff3 · 2021-05-26T12:14:40.000+01:00
Because this seems like a reasonable place holder implementation, so we
can see which other function is called next.
diff --git a/src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp b/src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp
@@ -12,8 +12,7 @@ smt2_incremental_decision_proceduret::smt2_incremental_decision_proceduret(
 
 exprt smt2_incremental_decision_proceduret::handle(const exprt &expr)
 {
-  UNIMPLEMENTED;
-  return exprt();
+  return expr;
 }
 
 exprt smt2_incremental_decision_proceduret::get(const exprt &expr) const

Original file line number	Diff line number	Diff line change
`@@ -12,8 +12,7 @@ smt2_incremental_decision_proceduret::smt2_incremental_decision_proceduret(`
`12`	`12`
`13`	`13`	`exprt smt2_incremental_decision_proceduret::handle(const exprt &expr)`
`14`	`14`	`{`
`15`		`- UNIMPLEMENTED;`
`16`		`- return exprt();`
	`15`	`+ return expr;`
`17`	`16`	`}`
`18`	`17`
`19`	`18`	`exprt smt2_incremental_decision_proceduret::get(const exprt &expr) const`