1 files changed, 5 insertions, 0 deletions
diff --git a/instr-to-kodkod/src/VHDLModel.java b/instr-to-kodkod/src/VHDLModel.java
index 170ce12..b1086f1 100644
--- a/instr-to-kodkod/src/VHDLModel.java
+++ b/instr-to-kodkod/src/VHDLModel.java
@@ -329,6 +329,11 @@ public class VHDLModel
       }
    }
 
+   public VHDLType get_type (final String name)
+   {
+      return types.get(name);
+   }
+
    public Relation get_type_as_relation (final String name)
    {
       final VHDLType t;