HUGE COMMIT:

[helm.git] / matita / components / ng_refiner / nCicCoercion.mli

diff --git a/matita/components/ng_refiner/nCicCoercion.mli b/matita/components/ng_refiner/nCicCoercion.mli
index 8ea0107dea4607fd6815356c2ee9e49515a9168b..4f1fa4186af564daef4316cbfb69a75dd32ec95b 100644 (file)
--- 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