diff options
-rw-r--r-- | module/language/cps/cse.scm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm index 204480e09..3a03ede83 100644 --- a/module/language/cps/cse.scm +++ b/module/language/cps/cse.scm @@ -445,8 +445,6 @@ could be that both true and false proofs are available." (define (visit-fun-cont cont) (rewrite-cps-cont cont - (($ $cont label ($ $kargs names vars body)) - (label ($kargs names vars ,(visit-term body label)))) (($ $cont label ($ $kfun src meta self tail clause)) (label ($kfun src meta self ,tail ,(and clause (visit-fun-cont clause))))) |