diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 61040869..33e024e1 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -60,9 +60,9 @@ pathToDatabase name == --% structure %Constructor == - Record(name: %Symbol,kind: %ConstructorKind,abbrev: %Symbol, + Record(id: %Symbol,kind: %ConstructorKind,abbrev: %Symbol, xparms: %List %Symbol) with - constructorName == (.name) + constructorIdentifier == (.id) constructtorKind == (.kind) constructrorAbbreviation == (.abbrev) constructorExplicitParameters == (.xparms) |