Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Due to optimization in the code generation process some needed functions are not generated if not used by the runtime itself. But as user code makes here direct call to the runtime, we have to force the generation of the needed functions
- Loading branch information