Commit 8d323721 authored by yoogx's avatar yoogx
Browse files

* Minor reformatting

parent 5758ceb6
...@@ -47,17 +47,14 @@ package body Ocarina.Backends.PN.Format.Tina is ...@@ -47,17 +47,14 @@ package body Ocarina.Backends.PN.Format.Tina is
-- Print_Place -- -- Print_Place --
------------------- -------------------
procedure Print_Place (Pn_Generated : Node_Id; procedure Print_Place (Pn_Generated : Node_Id; Pn_P : Node_Id) is
Pn_P : Node_Id)
is
use Output; use Output;
use OPN; use OPN;
use Namet; use Namet;
use OAV; use OAV;
begin begin
if Present (Pn_Generated) then
if Pn_Generated /= No_Node then
Write_Line ("pl " Write_Line ("pl "
& Get_Name_String (Name (Identifier (Pn_P))) & Get_Name_String (Name (Identifier (Pn_P)))
& " (" & " ("
...@@ -70,9 +67,7 @@ package body Ocarina.Backends.PN.Format.Tina is ...@@ -70,9 +67,7 @@ package body Ocarina.Backends.PN.Format.Tina is
-- Print_Trans -- -- Print_Trans --
------------------- -------------------
procedure Print_Trans (Pn_Generated : Node_Id; procedure Print_Trans (Pn_Generated : Node_Id; Pn_T : Node_Id) is
Pn_T : Node_Id)
is
use Output; use Output;
use OPN; use OPN;
use Namet; use Namet;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment