Fix issue when linking rlib + another library type#3576

celinval merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3569-multi-libscelinval/kani-dev:issue-3569-multi-libsCopy head branch name to clipboard