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 asRoot(TERM term); - - SolverLogical logical(TERM var); - - boolean isLogical(Term term); - -}