From ad03761a97eb0f651e3ce4f54cbf87dbf4d6f80f Mon Sep 17 00:00:00 2001 From: Marijn Haverbeke Date: Wed, 22 Feb 2012 11:44:11 +0100 Subject: Remove preconditions from libraries Closes #1805 --- src/comp/syntax/parse/parser.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/comp/syntax/parse') diff --git a/src/comp/syntax/parse/parser.rs b/src/comp/syntax/parse/parser.rs index a6f56b611d7..7cdb5667665 100644 --- a/src/comp/syntax/parse/parser.rs +++ b/src/comp/syntax/parse/parser.rs @@ -888,7 +888,6 @@ fn parse_bottom_expr(p: parser) -> pexpr { /* Should be a predicate (pure boolean function) applied to arguments that are all either slot variables or literals. but the typechecker enforces that. */ - let e = parse_expr(p); hi = e.span.hi; ex = ast::expr_check(ast::checked_expr, e); -- cgit 1.4.1-3-g733a5