diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-27 12:24:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-27 12:24:31 +0000 |
commit | bddd53c126545232dc319fcf520a0070ab396818 (patch) | |
tree | 2a0018c952ab0434db10869bce99641609828524 /src/interp/define.boot | |
parent | 6177d66b74f48a5cd63b62acad815299fcaaa884 (diff) | |
download | open-axiom-bddd53c126545232dc319fcf520a0070ab396818.tar.gz |
Misc cleanup
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 4403b26a..2fb14a5f 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -587,7 +587,7 @@ typeDependencyPath(m,path,e) == IDENTP m and assoc(m,$whereDecls) => get(m,'value,e) => nil -- parameter was given value [[m,:reverse path],:typeDependencyPath(getmode(m,e),path,e)] - isAtomicForm m => nil + atomic? m => nil [ctor,:args] := m -- We don't expect implicit parameters in builtin constructors. ctor in $BuiltinConstructorNames => nil |