diff --git a/courses/gnatsas/labs/check_040_lkql/default.gpr b/courses/gnatsas/labs/check_040_lkql/default.gpr
index b734cb5d5..15721c53b 100644
--- a/courses/gnatsas/labs/check_040_lkql/default.gpr
+++ b/courses/gnatsas/labs/check_040_lkql/default.gpr
@@ -1,5 +1,4 @@
 project Default is
     for Source_Dirs use ("src");
     for Object_Dir use "obj";
-    for Main use ("main.adb");
 end Default;
diff --git a/courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb b/courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb
index 88f234887..83dcfb211 100644
--- a/courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb
+++ b/courses/gnatsas/labs/check_040_lkql/src/test_pkg.adb
@@ -18,4 +18,7 @@ package body Test_Pkg is
    function Supplier6 (X : Derived_T) return Derived_T is
      (X);
 
+   function Supplier7 (X : Non_Integer_T) return Non_Integer_T is
+     (X);
+
 end Test_Pkg;
diff --git a/courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads b/courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads
index 1165b04ba..da7ef41a6 100644
--- a/courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads
+++ b/courses/gnatsas/labs/check_040_lkql/src/test_pkg.ads
@@ -24,4 +24,7 @@ package Test_Pkg is
    type Generic_Instantiaion_T is range 0 .. 100;
    package IO is new Ada.Text_IO.Integer_IO (Generic_Instantiaion_T);
 
+   type Non_Integer_T is digits 6 range 0.0 .. 100.0;
+   function Supplier7 (X : Non_Integer_T) return Non_Integer_T;
+
 end Test_Pkg;