diff options
Diffstat (limited to 'ortho/debug/ortho_debug.private.ads')
| -rw-r--r-- | ortho/debug/ortho_debug.private.ads | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ortho/debug/ortho_debug.private.ads b/ortho/debug/ortho_debug.private.ads index ab77b5577..03489c549 100644 --- a/ortho/debug/ortho_debug.private.ads +++ b/ortho/debug/ortho_debug.private.ads @@ -16,9 +16,6 @@ -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. -with Ortho_Ident; -use Ortho_Ident; - package Ortho_Debug is type O_Enode is private; type O_Cnode is private; |