start removing implicit properties

[nit.git] / src / syntax / mmbuilder.nit

diff --git a/src/syntax/mmbuilder.nit b/src/syntax/mmbuilder.nit
index d934fce..2032534 100644 (file)
--- a/src/syntax/mmbuilder.nit
+++ b/src/syntax/mmbuilder.nit
@@ -670,6 +670,7 @@ redef class PPropdef
        do
                var s = prop.signature
                for ip in supers do
+                       assert ip isa MMConcreteProperty
                        var isig = ip.signature.adaptation_to(v.local_class.get_type)
 
                        if s == null then