| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:07:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 11:07:10 +0200 |
| commit | 71c08d4a3ae9763b8cc669aad0f9d53bbc5f95d2 (patch) | |
| tree | 6eacee76a7860f87b9d80c924954257c2fc657b9 /instr-to-kodkod/src/VHDLModel.java | |
| parent | 0ccc7f57bee2867f05a2926a305977003dd15d1b (diff) | |
More small mistakes removed. It seems to work now.
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; |