Commit 6cc3eb40 authored by yoogx's avatar yoogx
Browse files

Merge branch 'master' of https://github.com/yoogx/ocarina

Conflicts:
	src/backends/ocarina-backends-pn-components.adb
	src/backends/ocarina-backends-pn-iutils.adb
parents 54df6737 e57e4a4a
...@@ -148,8 +148,8 @@ package body Ocarina.Backends.PN.Components is ...@@ -148,8 +148,8 @@ package body Ocarina.Backends.PN.Components is
Instance : Node_Id; Instance : Node_Id;
PN_Generated : Node_Id; PN_Generated : Node_Id;
Success : Boolean := False; Success : Boolean := False;
pragma Warnings (Off, Success); pragma Warnings (Off, Success); -- XXX
-- 0 for CPN, 1 for TPN -- 0 for CPN, 1 for TPN
Formalism : constant Value_Id := New_Integer_Value (F); Formalism : constant Value_Id := New_Integer_Value (F);
......
Supports Markdown
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