Make Libxhcidbg a SPARK library
[libxhcidbg.git] / libxhcidbg.gpr
index bc0b049ed030b68ea488f25b8914dc2a4dca0da4..b3aba9e909c4013385339fd3d821ec1b76d1bde5 100644 (file)
@@ -18,7 +18,7 @@
 with "../../config/shared";
 with "libhwbase";
 
 with "../../config/shared";
 with "libhwbase";
 
-library project Libxhcidbg extends "../library_ada" is
+library project Libxhcidbg extends "../library_spark" is
 
    for Languages use ("Ada");
    for Source_Dirs use ("generated", "src");
 
    for Languages use ("Ada");
    for Source_Dirs use ("generated", "src");