| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/VHDLType.java')
| -rw-r--r-- | instr-to-kodkod/src/VHDLType.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/instr-to-kodkod/src/VHDLType.java b/instr-to-kodkod/src/VHDLType.java index 58b0d1e..46d7cd9 100644 --- a/instr-to-kodkod/src/VHDLType.java +++ b/instr-to-kodkod/src/VHDLType.java @@ -25,7 +25,10 @@ public class VHDLType public void add_member (final String id) { - members.put(id, Relation.unary(id)); + if (!members.containsKey(id)) + { + members.put(id, Relation.unary(id)); + } } public String get_name () |