diff options
Diffstat (limited to 'psl/psl-hash.ads')
-rw-r--r-- | psl/psl-hash.ads | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/psl/psl-hash.ads b/psl/psl-hash.ads deleted file mode 100644 index d1a60c971..000000000 --- a/psl/psl-hash.ads +++ /dev/null @@ -1,11 +0,0 @@ -with Types; use Types; -with PSL.Nodes; use PSL.Nodes; - -package PSL.Hash is - -- Initialize the package. - procedure Init; - - -- Get the PSL node for node HDL. - -- Only one PSL node is created for an HDL node. - function Get_PSL_Node (Hdl : Int32) return Node; -end PSL.Hash; |