X-Git-Url: http://git.megacz.com/?p=org.ibex.core.git;a=blobdiff_plain;f=src%2Forg%2Fibex%2Fcore%2FIbex.java;fp=src%2Forg%2Fibex%2Fcore%2FIbex.java;h=7b27d14db0ddc9c9ac204f8562953de026d34a4b;hp=a157239095811e08be0a67a382135c474951efa1;hb=6eaf54fa906754ce35a7db0e8207fc6bbde5464d;hpb=f640a0eea61b9e404781923a5ea637714615289c

diff --git a/src/org/ibex/core/Ibex.java b/src/org/ibex/core/Ibex.java
index a157239..7b27d14 100644
--- a/src/org/ibex/core/Ibex.java
+++ b/src/org/ibex/core/Ibex.java
@@ -380,7 +380,7 @@ public final class Ibex extends JS.Obj implements JS.Cloneable {
         }
         public static Blessing getBlessing(JS js) {
             // CHECKME: is unclone() good enough or do we need getClonee() in Cloneable?
-            while (js instanceof JS.Cloneable && !(js instanceof Blessing)) js = js.unclone();
+            while (js instanceof JS.Clone && !(js instanceof Blessing)) js = js.unclone();
             if (!(js instanceof Blessing)) return null;
             return (Blessing)js;
         }