Revert change of query interface

viperproject · Nov 23, 2022 · 3481b16 · 3481b16
1 parent b8b4da7
commit 3481b16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-interface/src/environment/query.rs b/prusti-interface/src/environment/query.rs
@@ -36,7 +36,7 @@ impl<'tcx> EnvQuery<'tcx> {
     }
 
     /// Returns the typing context
-    pub fn tcx(self) -> TyCtxt<'tcx> {
+    pub(crate) fn tcx(self) -> TyCtxt<'tcx> {
         self.tcx
     }