diff options
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 |