From 4ed78d3d7ec41e27682273a7c9f9e3da2e258616 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Wed, 8 Jul 2026 19:30:15 +0200
Subject: [PATCH] chore: add new parameter to docstring

---
 midas/checker/resolver.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/midas/checker/resolver.py b/midas/checker/resolver.py
index 16756fb..7c9e4e4 100644
--- a/midas/checker/resolver.py
+++ b/midas/checker/resolver.py
@@ -38,6 +38,7 @@ class Resolver(p.Stmt.Visitor[None], p.Expr.Visitor[None]):
         This method must be called *before* evaluating the variable initializer
 
         Args:
+            location (Location): the location where the name is declared
             name (str): the name of the variable
         """
         if len(self.scopes) == 0: