From f84a9f5f2be00d14168ba40ebf9357bc99fce9ce Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 12:50:34 +0200
Subject: Finer imports.

---
 instr-to-kodkod/parser/PropertyParser.g4 | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'instr-to-kodkod/parser')

diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4
index 8ac7b03..986ad3b 100644
--- a/instr-to-kodkod/parser/PropertyParser.g4
+++ b/instr-to-kodkod/parser/PropertyParser.g4
@@ -7,12 +7,12 @@ options
 
 @header
 {
-   /* FIXME: Finer imports */
-   import kodkod.ast.*;
-
-   import kodkod.engine.*;
-
-   import kodkod.instance.*;
+   import kodkod.ast.Formula;
+   import kodkod.ast.Variable;
+   import kodkod.ast.Relation;
+   import kodkod.ast.Expression;
+   import kodkod.ast.IntExpression;
+   import kodkod.ast.IntConstant;
 }
 
 @members
-- 
cgit v1.2.3-70-g09d2