Commits

Dmitry Grebeniuk  committed b44f113

..mid..

  • Participants
  • Parent commits 685a06b

Comments (0)

Files changed (1)

     ;
 
   end
+;
 
-and virtual ticmp_ ['a] ~cmp () =
-  object (_self : #tti 'a)
-    method cmp : 'a -> 'a -> cmp_res = cmp;
+class virtual ticmp_ ['a] ~cmp () =
+  object (_self : #ticmp_register 'a)
+    method cmp = cmp;
     inherit ticmp_register ['a];
   end
 ;