From 98f12eaabfd4bdc04f60fdbfe7fec69bdc0eea37 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 10:37:34 +0200
Subject: Tagged variables are now the only skolemized vars.

---
 instr-to-kodkod/src/VHDLModel.java | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'instr-to-kodkod/src/VHDLModel.java')

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;
-- 
cgit v1.2.3-70-g09d2