Cleanup

ProvableHQ · Oct 27, 2023 · 117f5d2 · 117f5d2
1 parent e0171a4
commit 117f5d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/passes/src/code_generation/visit_type.rs b/compiler/passes/src/code_generation/visit_type.rs
@@ -44,7 +44,7 @@ impl<'a> CodeGenerator<'a> {
         }
     }
 
-    pub(crate) fn visit_type_with_visibility(&mut self, type_: &'a Type, visibility: Mode) -> String {
+    pub(crate) fn visit_type_with_visibility(&self, type_: &'a Type, visibility: Mode) -> String {
         match type_ {
             // When the type is a record.
             // Note that this unwrap is safe because all composite types have been added to the mapping.