diff options
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
-rw-r--r-- | Binaries/DafnyPrelude.bpl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Binaries/DafnyPrelude.bpl b/Binaries/DafnyPrelude.bpl index c23e8a7e..8ca70bac 100644 --- a/Binaries/DafnyPrelude.bpl +++ b/Binaries/DafnyPrelude.bpl @@ -471,7 +471,8 @@ function DatatypeCtorId(DatatypeType): DtCtorId; function DtRank(DatatypeType): int;
-function CoDatatypeCertificate#Equal(DatatypeType, DatatypeType): bool;
+function CoDatatypeCertificate#Equal0(DatatypeType, DatatypeType): bool;
+function CoDatatypeCertificate#Equal1(DatatypeType, DatatypeType): bool;
// ---------------------------------------------------------------
// -- Axiom contexts ---------------------------------------------
|