diff options
| author | Kevin Sjöberg <mail@kevinsjoberg.com> | 2022-09-03 20:03:02 +0200 |
|---|---|---|
| committer | Kevin Sjöberg <mail@kevinsjoberg.com> | 2022-09-03 20:03:02 +0200 |
| commit | f914fd0219fb4b6db642aae833e6b6db9f7718ec (patch) | |
| tree | 31d187e5b23d510e43626644c76008a70b8d90eb /src/check_expr.cpp | |
| parent | c94ca4c0cbd465c15130db45143d5e69e09b533f (diff) | |
maybe property does not exist anymore
In commit 3ec70c5517062f3d35822253b2072df696b0c55f, the `#maybe`
functionality was merged with the standard 'union' functionality, and
thus, the `maybe` property was removed.
Diffstat (limited to 'src/check_expr.cpp')
0 files changed, 0 insertions, 0 deletions