From d3a4bb29a7cd654dcc4faca146feb5b416f60777 Mon Sep 17 00:00:00 2001 From: Cameron Zwarich Date: Wed, 9 Jul 2025 10:31:34 -0700 Subject: [PATCH] chore: remove comment indicating that implicit conversion should be removed (#9284) --- src/library/elab_environment.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/library/elab_environment.h b/src/library/elab_environment.h index 8aa95e6016..a8ed8f9061 100644 --- a/src/library/elab_environment.h +++ b/src/library/elab_environment.h @@ -35,8 +35,6 @@ public: } environment to_kernel_env() const; - - // TODO: delete together with old compiler operator environment() const { return to_kernel_env(); } }; }