Show
Ignore:
Timestamp:
29.10.2008 17:29:25 (13 months ago)
Author:
maeder
Message:

better support for morphism extensions

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/CspCASL/Logic_CspCASL.hs

    r10827 r10910  
    6464 
    6565-- | Instance for CspCASL morphism extension (used for Category) 
    66 instance MorphismExtension SignCSP.CspAddMorphism where 
    67   ideMorphismExtension = SignCSP.emptyCspAddMorphism 
     66instance MorphismExtension SignCSP.CspSign SignCSP.CspAddMorphism where 
     67  ideMorphismExtension _ = SignCSP.emptyCspAddMorphism 
    6868  composeMorphismExtension = SignCSP.composeCspAddMorphism 
    6969  inverseMorphismExtension = SignCSP.inverseCspAddMorphism