diff options
Diffstat (limited to 'src/interp/g-cndata.boot')
| -rw-r--r-- | src/interp/g-cndata.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/g-cndata.boot b/src/interp/g-cndata.boot index f5a4492a..ce9ff96b 100644 --- a/src/interp/g-cndata.boot +++ b/src/interp/g-cndata.boot @@ -56,7 +56,7 @@ augmentLowerCaseConTable x == tableValue($lowerCaseConTb,y) := item getCDTEntry(info,isName) == - not IDENTP info => nil + not ident? info => nil (entry := tableValue($lowerCaseConTb,info)) => [name,abb,:.] := entry isName and sameObject?(name,info) => entry @@ -175,7 +175,7 @@ isNameOfType x == unabbrev1(u,modeIfTrue) == atom u => - not IDENTP u => u -- surely not constructor abbrev + not ident? u => u -- surely not constructor abbrev modeIfTrue => d:= isDomainValuedVariable u => u a := abbreviation? u => |