diff options
Diffstat (limited to 'dhall/src/typecheck.rs')
| -rw-r--r-- | dhall/src/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 28982fc..2916526 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -775,7 +775,7 @@ impl<S: Clone> TypeError<S> { TypeError { context: context.clone(), current: current.clone(), - type_message: type_message, + type_message, } } } |