aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-01 16:00:07 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-01 16:00:07 -0800
commit45c66ff4a930d68142472091c3ccc36c755b1f6e (patch)
tree56de4c263fb5bb306a19847962256f645fc83be0 /src
parent88441bdc4ddfec01e7d6a7e7387b555f2e98eb96 (diff)
downloadopen-axiom-45c66ff4a930d68142472091c3ccc36c755b1f6e.tar.gz
Remove dead code in compFunctorBody
Diffstat (limited to 'src')
-rw-r--r--src/interp/define.boot4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot
index 3218e285..8f4cb615 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -1593,10 +1593,6 @@ compFunctorBody(db,body,m,e) ==
$insideCategoryPackageIfTrue => dbCapsuleIR db
not $optExportedFunctionReference => dbCapsuleIR db
foldExportedFunctionReferences(db,dbCapsuleIR db)
- body is [op,:.] and op in '(add CAPSULE) => T
- $NRTaddForm :=
- body is ["SubDomain",domainForm,predicate] => domainForm
- body
T
reportOnFunctorCompilation() ==