diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
commit | 42cf0984b569e49060252e536c0c7e7aee469873 (patch) | |
tree | c2cb31c68df04f75bfd9a490ae10b9c6cf795102 /src/interp/interop.boot | |
parent | 5770442f576aa0c1e389344a636f1e4edca1b136 (diff) | |
download | open-axiom-42cf0984b569e49060252e536c0c7e7aee469873.tar.gz |
* More cleanup
Diffstat (limited to 'src/interp/interop.boot')
-rw-r--r-- | src/interp/interop.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/interop.boot b/src/interp/interop.boot index b6eb54f7..1b2992ff 100644 --- a/src/interp/interop.boot +++ b/src/interp/interop.boot @@ -342,7 +342,7 @@ instantiate domenv == -- loadFunctor functor -- fn := symbolFunction functor -- symbolFunction(functor) := ofn --- PUT(functor, 'instantiate, fn) +-- proprty(functor, 'instantiate) := fn -- domvec := apply(fn, args) domvec := apply(functor, args) oldDom.first := $oldAxiomDomainDispatch |