From effd624911c9af7795cd56ef74b2c93fe4e9f4a3 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 17 Aug 2017 20:56:26 +0200
Subject: [PATCH] fix(frontends/lean/parser): add check_system call

---
 src/frontends/lean/parser.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index f227ab2934..362862dcea 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -1265,6 +1265,7 @@ static pair<notation::transition, parse_table> const * get_non_skip(list<pair<no
 }
 
 expr parser::parse_notation(parse_table t, expr * left) {
+    check_system("parse_notation");
     lean_assert(curr() == token_kind::Keyword);
     auto p = pos();
     auto first_token = get_token_info().value();