split out goto_functiont from goto_functions.h into separate file - #2175

Merged

kroening merged 2 commits into

extract-goto-functiont

May 10, 2018

Commits on May 10, 2018

split out goto_functiont from goto_functions.h into separate file
kroening
committed
b9cd297
use goto_function.h when only goto_functiont is used
kroening
committed
76d202a