summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-11-11 09:48:05 +0000
committerNadrieril2019-11-11 10:24:58 +0000
commit8287ba2ec69608f8e7e658aa59ec10e3bbea9536 (patch)
tree96cb35233422491333fdac239d6c7e6e3edaa7af
parent36070e6c285ecb96fad56470261c66b082685e56 (diff)
Remove unused function
-rw-r--r--dhall_syntax/src/core/expr.rs4
1 files changed, 0 insertions, 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<E> Expr<E> {
Expr(Box::new((x, None)))
}
- pub fn from_builtin(b: Builtin) -> Self {
- Expr::from_expr_no_span(ExprF::Builtin(b))
- }
-
pub fn rewrap<E2>(&self, x: RawExpr<E2>) -> Expr<E2> {
Expr(Box::new((x, (self.0).1.clone())))
}