diff options
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index ff65b86d..a17f8aa8 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1119,6 +1119,7 @@ compDefineCategory2(db,form,signature,body,m,e,$formalArgList) == $definition: local := form --used by DomainSubstitutionFunction $form: local := nil $extraParms: local := nil + e := registerConstructor($op,e) -- Remember the body for checking the current instantiation. $currentCategoryBody : local := body --Set in DomainSubstitutionFunction, used further down |