From 8de8771ee072fdf4b7371046c758df3787a89e1d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 17 Dec 2017 09:52:44 -0800 Subject: [PATCH] chore(library/vm/vm_parser): remove leftover comment --- src/library/vm/vm_parser.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/vm/vm_parser.cpp b/src/library/vm/vm_parser.cpp index d16760f795..46634536a4 100644 --- a/src/library/vm/vm_parser.cpp +++ b/src/library/vm/vm_parser.cpp @@ -207,7 +207,6 @@ vm_obj vm_parser_pexpr(vm_obj const & vm_rbp, vm_obj const & o) { The auxiliary class `restore_decl_meta_scope` is used to restore it. Remark: I realize this is hackish, but it addresses the issue raised at #1890. - It is better to catch the problem the final type checking step in the kernel. */ restore_decl_meta_scope scope; auto rbp = to_unsigned(vm_rbp);