From 868d82c1dbb00c844de9b7943e65074d71c6549c Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 18 Mar 2015 11:56:58 +0100 Subject: [PATCH] Made the Node's inner enum explicitly public (MPS wrongly assumes it to be package local) --- reactor/code/src/jetbrains/mps/unification/Node.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reactor/code/src/jetbrains/mps/unification/Node.java b/reactor/code/src/jetbrains/mps/unification/Node.java index f9494f81..6092033e 100644 --- a/reactor/code/src/jetbrains/mps/unification/Node.java +++ b/reactor/code/src/jetbrains/mps/unification/Node.java @@ -52,7 +52,7 @@ public interface Node extends Comparable { boolean is(Kind kind); - enum Kind { + public enum Kind { FUN, VAR, REF