updated encatI.v

math-comp · Jan 19, 2024 · 4c52412 · 4c52412
1 parent 3302ab5
commit 4c52412
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/theories/encatI.v b/theories/encatI.v
@@ -262,7 +262,6 @@ HB.structure Definition InternalHomHom {C: pbcat}
 HB.instance Definition iHom_quiver {C: pbcat} (C0 : C) :
   IsQuiver (@iHom C C0) :=
   IsQuiver.Build (@iHom C C0) (@iHomHom C C0).
-Print iHom_quiver.
 
 Program Definition pre_iHom_id {C: pbcat} (C0 : C) (C1 : @iHom C C0) :
   @IsInternalHomHom C C0 C1 C1 idmap :=