Changeset 12002

Show
Ignore:
Timestamp:
28.07.2009 11:38:33 (4 months ago)
Author:
maeder
Message:

changed fitting error to warning see #719

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Static/AnalysisStructured.hs

    r11982 r12002  
    833833      newIdentifications = myKernel hmor Set.\\ myKernel h 
    834834  when (not (Set.null newIdentifications)) 
    835    (plain_error () ( 
    836      "Fitting morphism leads to forbidden identifications:\n" 
     835   (warning () ( 
     836     "Fitting morphism may lead to forbidden identifications:\n" 
    837837     ++ showDoc newIdentifications "") nullRange) 
    838838  incl <- ext_inclusion lid sigmaAD sigma