aboutsummaryrefslogtreecommitdiff
path: root/src/interp/lisp-backend.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/lisp-backend.boot')
-rw-r--r--src/interp/lisp-backend.boot4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/lisp-backend.boot b/src/interp/lisp-backend.boot
index d421fc3a..e7b9abaf 100644
--- a/src/interp/lisp-backend.boot
+++ b/src/interp/lisp-backend.boot
@@ -406,9 +406,6 @@ expandBitvecref ['%bitvecref,x,y] ==
expandBitveceq ['%bitveceq,x,y] ==
['EQUAL,expandToVMForm x,expandToVMForm y]
-expandBitveclt ['%bitveclt,x,y] ==
- ['BVEC_-GREATER,expandToVMForm y,expandToVMForm x]
-
expandBitvector ['%bitvector,x,y] ==
['MAKE_-ARRAY,['LIST,expandToVMForm x],
KEYWORD::ELEMENT_-TYPE,quote '%Bit,
@@ -735,7 +732,6 @@ for x in [
['%bitveccopy, :function expandBitveccopy],
['%bitvecconc, :function expandBitvecconc],
['%bitveceq, :function expandBitveceq],
- ['%bitveclt, :function expandBitveclt],
['%bitvecref, :function expandBitvecref],
['%bitvector, :function expandBitvector],