From 8f0ce2aad66c661441f0c895ebc4839bbd8df890 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 2 Jun 2017 10:53:48 +0200
Subject: [PATCH] Delete deprecated interface.

---
 .../reactor/logical/LogicalUnification.java   | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java

diff --git a/reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java b/reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java
deleted file mode 100644
index 44445011..00000000
--- a/reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java
+++ /dev/null
@@ -1,19 +0,0 @@
-package jetbrains.mps.logic.reactor.logical;
-
-/*Generated by MPS */
-
-import jetbrains.mps.unification.Term;
-
-/**
- * Not used in the API.
- * @deprecated
- */
-public interface LogicalUnification {
-
-  <TERM extends Term> TERM asRoot(TERM term);
-
-  <TERM extends Term> SolverLogical<TERM> logical(TERM var);
-
-  boolean isLogical(Term term);
-
-}