Commit 9836f4d9 authored by yoogx's avatar yoogx

* Test for issue #7

parent fe34ca68
......@@ -282,3 +282,4 @@ tests/example_04_05_1/t.aadl
tests/github/issue_1/test.aadl
tests/github/issue_6/test_spg.aadl
tests/github/issue_7/test.aadl
package test_renames_a
public
with test_renames_b;
Test_B renames system test_renames_b::B; -- This is the line that causes the error
system A
end A;
system implementation A.impl
end A.impl;
end test_renames_a;
package test_renames_b
public
system B
end B;
end test_renames_b;
\ No newline at end of file
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