diff options
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r-- | dhall/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 41953e3..810d789 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -90,5 +90,5 @@ fn main() { println!("{}", type_expr); println!(); - println!("{}", normalize::<_, X, _>(expr)); + println!("{}", normalize(expr)); } |