Changeset 12759

Show
Ignore:
Timestamp:
30.10.2009 11:28:45 (3 weeks ago)
Author:
maeder
Message:

use intended arg_res names

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2TopSort.hs

    r12753 r12759  
    318318    let vars = genVars sl 
    319319        mquant = genQuantification (genProp vars) vars spl 
    320     in maybe fs (\ quant -> mapNamed (const quant) (makeNamed "" sen_name) 
    321                              : fs) mquant 
     320    in maybe fs (\ quant -> makeNamed sen_name quant : fs) mquant 
    322321 
    323322genPredication :: PRED_NAME -> [VAR_DECL] -> FORMULA f