Fix missing function declaration issue#3862

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3799-fn-mutcelinval/kani-dev:issue-3799-fn-mutCopy head branch name to clipboard