Remove other mut

metaborg · Nov 30, 2023 · 7ffb087 · 7ffb087
1 parent a4ac4d1
commit 7ffb087
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scopegraphs-lib/src/resolve/topdown.rs b/scopegraphs-lib/src/resolve/topdown.rs
@@ -170,7 +170,7 @@ where
         env
     }
 
-    fn resolve_data(&mut self, path: &Path<'sg, LABEL>) -> Env<'sg, LABEL, DATA> {
+    fn resolve_data(&self, path: &Path<'sg, LABEL>) -> Env<'sg, LABEL, DATA> {
         let data = self.sg.borrow().get_data(path.target());
         if (self.data_wellformedness)(data) {
             Env::single(path.clone().resolve(data))