opengl: Rename 'openGL.texture_Set.texture_Set' to 'openGL.texture_Set.Item'.

2023-05-31 07:08:51 +10:00
parent af64e4ce3e
commit f1d7b2c645
6 changed files with 15 additions and 15 deletions
--- a/3-mid/opengl/source/lean/geometry/opengl-geometry-lit_textured.ads
+++ b/3-mid/opengl/source/lean/geometry/opengl-geometry-lit_textured.ads
@@ -64,7 +64,7 @@ private

   type Item is new Geometry.item with
      record
-         texture_Set : openGL.texture_Set.texture_Set;
+         texture_Set : openGL.texture_Set.Item;
      end record;