File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -394,7 +394,7 @@ can_cast_expr<function_pointer_obeys_contract_exprt>(const exprt &base)
394
394
// / \param expr: Source expression
395
395
// / \return Object of type \ref function_pointer_obeys_contract_exprt
396
396
inline const function_pointer_obeys_contract_exprt &
397
- function_pointer_obeys_contract_expr (const exprt &expr)
397
+ to_function_pointer_obeys_contract_expr (const exprt &expr)
398
398
{
399
399
PRECONDITION (expr.id () == ID_function_pointer_obeys_contract);
400
400
auto &ret = static_cast <const function_pointer_obeys_contract_exprt &>(expr);
Original file line number Diff line number Diff line change 8
8
9
9
#include " language_util.h"
10
10
11
- #include < memory>
12
-
13
11
#include < util/invariant.h>
14
- #include < util/symbol_table.h>
15
12
#include < util/namespace.h>
16
13
#include < util/std_expr.h>
14
+ #include < util/symbol_table.h>
17
15
18
16
#include " language.h"
19
17
#include " mode.h"
20
18
19
+ #include < memory>
20
+
21
21
std::string from_expr_using_mode (
22
22
const namespacet &ns,
23
23
const irep_idt &mode,
You can’t perform that action at this time.
0 commit comments