diff options
Diffstat (limited to 'src/Obs/NormalForm/Normalise.idr')
| -rw-r--r-- | src/Obs/NormalForm/Normalise.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Obs/NormalForm/Normalise.idr b/src/Obs/NormalForm/Normalise.idr index 28d66da..3ed0e67 100644 --- a/src/Obs/NormalForm/Normalise.idr +++ b/src/Obs/NormalForm/Normalise.idr @@ -505,7 +505,7 @@ equalHelper let returnElement = Cnstr $ Pi { domainSort = domainSort , codomainSort = Prop - , domain = MkDecl Nothing (Sorted.weaken [Irrelevant] domain.type) + , domain = MkDecl Nothing (Sorted.weaken [Irrelevant] domain'.type) , codomain = codomainEqual } |