1 files changed, 5 insertions, 0 deletions
diff --git a/ieee.ads b/ieee.ads
new file mode 100644
index 000000000..48ab37630
--- /dev/null
+++ b/ieee.ads
@@ -0,0 +1,5 @@
+--  Top of ieee hierarchy.
+--  Too small to be copyrighted.
+package Ieee is
+   pragma Pure (Ieee);
+end Ieee;