small fix in lim example
Merge commit '070bafce63980502292c4d4d77958c5f1f801f33'
fix for header_only compilation without MOSEK