fix

kroening · kroening · commit b3bd71c03510 · 2022-04-02T21:43:42.000+01:00
diff --git a/src/cprover/propagate.cpp b/src/cprover/propagate.cpp
@@ -158,7 +158,7 @@ exprt simplify_ok_expr(ternary_exprt src, const namespacet &ns)
     }
   }
 
-  return src;
+  return std::move(src);
 }
 
 exprt simplify_state_expr(exprt src, const namespacet &ns)

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,7 @@ exprt simplify_ok_expr(ternary_exprt src, const namespacet &ns)`
`158`	`158`	`}`
`159`	`159`	`}`
`160`	`160`
`161`		`- return src;`
	`161`	`+ return std::move(src);`
`162`	`162`	`}`
`163`	`163`
`164`	`164`	`exprt simplify_state_expr(exprt src, const namespacet &ns)`