Commit e57e4a4a authored by yoogx's avatar yoogx

* Correct some warnigns

parent 78b6cd55
......@@ -151,6 +151,7 @@ package body Ocarina.Backends.PN.Components is
Instance : Node_Id;
PN_Generated : Node_Id;
Success : Boolean := False;
pragma Warnings (Off, Success); -- XXX
-- 0 for CPN, 1 for TPN
Formalism : constant Value_Id := New_Integer_Value (F);
......
......@@ -654,6 +654,7 @@ package body Ocarina.Backends.PN.Iutils is
is
use Ocarina.Backends.PN.Nodes;
use Ocarina.Aadl_Values;
pragma Unreferenced (M);
begin
if P /= No_Node and then PN_G /= No_Node then
......
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