1 files changed, 34 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project
new file mode 100644
index 00000000..94d225bf
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/.project
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<projectDescription>

+        <name>hu.bme.mit.inf.dslreasoner.smt.language.ui</name>

+        <comment></comment>

+        <projects>

+        </projects>

+        <buildSpec>

+                <buildCommand>

+                        <name>org.eclipse.jdt.core.javabuilder</name>

+                        <arguments>

+                        </arguments>

+                </buildCommand>

+                <buildCommand>

+                        <name>org.eclipse.pde.ManifestBuilder</name>

+                        <arguments>

+                        </arguments>

+                </buildCommand>

+                <buildCommand>

+                        <name>org.eclipse.pde.SchemaBuilder</name>

+                        <arguments>

+                        </arguments>

+                </buildCommand>

+                <buildCommand>

+                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>

+                        <arguments>

+                        </arguments>

+                </buildCommand>

+        </buildSpec>

+        <natures>

+                <nature>org.eclipse.jdt.core.javanature</nature>

+                <nature>org.eclipse.pde.PluginNature</nature>

+                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>

+        </natures>

+</projectDescription>