Skip to content

improve readability of `service_on` in ideal uniprocessor model

Björn Brandenburgrequested to merge
wip-service_on-def into master

This change is semantically a no-op, but it has been argued that not relying on the bool->nat coercion is more readable.

Closes: #55 (closed)

Merge request reports