From 8287ba2ec69608f8e7e658aa59ec10e3bbea9536 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 11 Nov 2019 09:48:05 +0000 Subject: Remove unused function --- dhall_syntax/src/core/expr.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 74b481f..2ad3ba8 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -346,10 +346,6 @@ impl Expr { Expr(Box::new((x, None))) } - pub fn from_builtin(b: Builtin) -> Self { - Expr::from_expr_no_span(ExprF::Builtin(b)) - } - pub fn rewrap(&self, x: RawExpr) -> Expr { Expr(Box::new((x, (self.0).1.clone()))) } -- cgit v1.2.3