From 3bbbb14da65ed93b79dfd9913215d796b56bdd2b Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Sun, 13 Jul 2025 22:58:20 -0700 Subject: [PATCH] chore: Remove dead code --- Pantograph/Frontend/MetaTranslate.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/Pantograph/Frontend/MetaTranslate.lean b/Pantograph/Frontend/MetaTranslate.lean index 1f6d45d..cd3f09b 100644 --- a/Pantograph/Frontend/MetaTranslate.lean +++ b/Pantograph/Frontend/MetaTranslate.lean @@ -148,7 +148,6 @@ def translateMVarFromTermInfo (termInfo : Elab.TermInfo) (context? : Option Elab }) do let type := termInfo.expectedType?.get! let lctx' ← translateLCtx - --let localInstances' ← srcDecl.localInstances.mapM translateLocalInstance let mvar ← Meta.withLCtx lctx' #[] do Meta.withLocalInstances (lctx'.decls.toList.filterMap id) do let type' ← translateExpr type