rzk-0.8.0: test/typecheck/cases/ill-unset-option-unknown.rzk

#lang rzk-1

#unset-option "frobnitz"