summaryrefslogtreecommitdiff
path: root/module/language/cps/cse.scm
diff options
context:
space:
mode:
Diffstat (limited to 'module/language/cps/cse.scm')
-rw-r--r--module/language/cps/cse.scm3
1 files changed, 0 insertions, 3 deletions
diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm
index 17a648962..a7de7a623 100644
--- a/module/language/cps/cse.scm
+++ b/module/language/cps/cse.scm
@@ -251,9 +251,6 @@ false. It could be that both true and false proofs are available."
(add-def! (list 'op* arg* ...) aux) ...)
(_ (add-definitions . clauses))))))
(add-definitions
- ((b <- box #f o) (o <- box-ref #f b))
- ((box-set! #f b o) (o <- box-ref #f b))
-
((scm-set! p s i x) (x <- scm-ref p s i))
((scm-set!/tag p s x) (x <- scm-ref/tag p s))
((scm-set!/immediate p s x) (x <- scm-ref/immediate p s))