Delete deprecated interface.

2017-06-02 10:53:48 +02:00 · 2017-06-02 10:53:48 +02:00 · 8f0ce2aad6
parent 77662be281
commit 8f0ce2aad6
1 changed files with 0 additions and 19 deletions
--- a/reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java
+++ b/reactor/API/src/jetbrains/mps/logic/reactor/logical/LogicalUnification.java
@ -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);
-
-}