where/error is not rendered

[shhyou]

where/error is not rendered by render-reduction-relation, but I'm not sure if it is actually intended.

#lang racket/base

(require redex)
(define-language empty)

(define R
  (reduction-relation
   empty
   (--> integer 0
        (where/error 5 integer))))

(render-reduction-relation R)

Racket version:

Welcome to DrRacket, version 7.2.0.3 [3m].
Language: racket/base [custom]; memory limit: 512 MB.
>