summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--module/language/cps/cse.scm2
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)))))