From 21251d6499a06e9ca6b5a173896a1aeba7f332c2 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Wed, 1 Feb 2023 20:44:58 -0500
Subject: [PATCH] fix: remove check from lexer

---
 crates/aiken-lang/src/parser/lexer.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/crates/aiken-lang/src/parser/lexer.rs b/crates/aiken-lang/src/parser/lexer.rs
index 1349ae39..84aaa4d2 100644
--- a/crates/aiken-lang/src/parser/lexer.rs
+++ b/crates/aiken-lang/src/parser/lexer.rs
@@ -88,7 +88,6 @@ pub fn lexer() -> impl Parser<char, Vec<(Token, Span)>, Error = ParseError> {
         "error" => Token::ErrorTerm,
         "as" => Token::As,
         "assert" => Token::Assert,
-        "check" => Token::Assert,
         "const" => Token::Const,
         "fn" => Token::Fn,
         "test" => Token::Test,