diff options
Diffstat (limited to 'src/psl/psl.ads')
-rw-r--r-- | src/psl/psl.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/psl/psl.ads b/src/psl/psl.ads new file mode 100644 index 000000000..a2f4bdce0 --- /dev/null +++ b/src/psl/psl.ads @@ -0,0 +1,3 @@ +package PSL is + pragma Pure (PSL); +end PSL; |