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/VHDLProperty.java | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/instr-to-kodkod/src/VHDLProperty.java b/instr-to-kodkod/src/VHDLProperty.java
index ac88e6e..f74aae4 100644
--- a/instr-to-kodkod/src/VHDLProperty.java
+++ b/instr-to-kodkod/src/VHDLProperty.java
@@ -9,14 +9,10 @@ import org.antlr.v4.runtime.*;
 public class VHDLProperty
 {
    private final String filename;
-   private final List<Variable> tagged_variables;
-   private final List<VHDLType> tagged_variables_types;
 
    public VHDLProperty (final String filename)
    {
       this.filename = filename;
-      tagged_variables = new ArrayList<Variable>();
-      tagged_variables_types = new ArrayList<VHDLType>();
    }
 
    public Formula generate_base_formula ()
-- 
cgit v1.2.3-70-g09d2