| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/VHDLModel.java')
| -rw-r--r-- | instr-to-kodkod/src/VHDLModel.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/instr-to-kodkod/src/VHDLModel.java b/instr-to-kodkod/src/VHDLModel.java index ed448c4..7a9671e 100644 --- a/instr-to-kodkod/src/VHDLModel.java +++ b/instr-to-kodkod/src/VHDLModel.java @@ -291,7 +291,10 @@ public class VHDLModel for (final VHDLType t: types.values()) { - result.addAll(t.get_all_members_as_atoms()); + if (t.is_used()) + { + result.addAll(t.get_all_members_as_atoms()); + } } return result; |