summaryrefslogtreecommitdiff
path: root/language/bytecode.ott
diff options
context:
space:
mode:
authorRobert Norton2018-03-07 16:41:08 +0000
committerRobert Norton2018-03-07 16:41:08 +0000
commit1fe9ed8d1a5d2800d101f1e17b2873db3e38ab8b (patch)
treec8d793efd31dc01567659c18f080344b9ce9bec0 /language/bytecode.ott
parent1fe8f33fce5aaaaea82fc54b6d198ffc9d7e1eeb (diff)
Fix cheri and mips following 1fe8f33fce5aaaaea82fc54b6d198ffc9d7e1eeb which requires syntax change for unit constructors of union types.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions