Changeset 12722

Show
Ignore:
Timestamp:
26.10.2009 12:38:04 (4 weeks ago)
Author:
maeder
Message:

adjusted to changeset:12698

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/CASL/AlphaConvert.hs

    r8486 r12722  
    2828          mkVar i = mkSimpleId $ "v" ++ show i 
    2929          rvs = map mkVar [n .. ] 
    30           nf = replace_varsF (Map.fromList $ zipWith ( \ (v, s) i -> 
     30          nf = replaceVarsF (Map.fromList $ zipWith ( \ (v, s) i -> 
    3131                             (v, Qual_var i s ps)) nvs rvs) mf 
    3232               $ convertFormula (n + length nvs) mf qf