X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_refiner%2FnCicCoercion.mli;h=4f1fa4186af564daef4316cbfb69a75dd32ec95b;hb=709537efda53c6189ed3e3e9877f1f93ac6d512a;hp=8ea0107dea4607fd6815356c2ee9e49515a9168b;hpb=a4a2345e2efaf4cc64aa4daf40e2bce05a400f12;p=helm.git

diff --git a/matita/components/ng_refiner/nCicCoercion.mli b/matita/components/ng_refiner/nCicCoercion.mli
index 8ea0107de..4f1fa4186 100644
--- a/matita/components/ng_refiner/nCicCoercion.mli
+++ b/matita/components/ng_refiner/nCicCoercion.mli
@@ -19,7 +19,7 @@ class type g_status =
   method coerc_db: db
  end
 
-class status :
+class virtual status :
  object ('self)
   inherit g_status
   inherit NCicUnifHint.status