Commit a75957b

thk123

authored and

thk123

committed

Split up try_resolve_expression into functions

1 parent 5d33d4d commit a75957bCopy full SHA for a75957b

2 files changed

+258

-161

lines changed

src/goto-programs
- remove_const_function_pointers.cpp
- remove_const_function_pointers.h

2 files changed

+258

-161

lines changed

Comments

(0)