From 4be73be561379cff6b0e5966e020d90387085034 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 10 May 2019 07:48:39 +0200 Subject: psl: add psl-types, psl-nodes_priv. --- src/psl/psl-qm.adb | 1 + 1 file changed, 1 insertion(+) (limited to 'src/psl/psl-qm.adb') diff --git a/src/psl/psl-qm.adb b/src/psl/psl-qm.adb index 719329b8f..41f8e1001 100644 --- a/src/psl/psl-qm.adb +++ b/src/psl/psl-qm.adb @@ -18,6 +18,7 @@ with Ada.Text_IO; with Types; use Types; +with PSL.Types; use PSL.Types; with PSL.Errors; use PSL.Errors; with PSL.Prints; with PSL.CSE; -- cgit v1.2.3