Commit 36bd2bb5 authored by Michael Hanus 's avatar Michael Hanus

Fixes unintended character in strong constant

parent 022fdb45
Pipeline #322 failed with stages