diff --git a/quad2/main.rkt b/quad2/main.rkt index fcf88b3c..df682e02 100644 --- a/quad2/main.rkt +++ b/quad2/main.rkt @@ -76,7 +76,7 @@ [current-use-postconditions? #t]) (quad-compile (bootstrap-input x)))) - (match (test-compile "X") + (match (test-compile "WHO") [(? string? insts) (displayln insts) #;(render insts #:using text-renderer)