Rename $ktrunc to $kreceive

[bpt/guile.git] / module / language / cps / verify.scm

diff --git a/module/language/cps/verify.scm b/module/language/cps/verify.scm
index 94c111e..9da5037 100644 (file)
--- a/module/language/cps/verify.scm
+++ b/module/language/cps/verify.scm
@@ -59,7 +59,7 @@
       (($ $kif kt kf)
        (check-var kt k-env)
        (check-var kf k-env))
-      (($ $ktrunc ($ $arity ((? symbol?) ...) () (or #f (? symbol?)) () #f) k)
+      (($ $kreceive ($ $arity ((? symbol?) ...) () (or #f (? symbol?)) () #f) k)
        (check-var k k-env))
       (($ $kargs ((? symbol? name) ...) ((? symbol? sym) ...) body)
        (unless (= (length name) (length sym))