Ignore:
Timestamp:
Nov 30, 2023, 2:58:26 PM (7 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
37b3151
Parents:
4a89b52
Message:

Rename the ScrubTyVars? moduel to ScrubTypeVars?. This makes it more consistent with the data types and function names now used.

File:
1 moved

Legend:

Unmodified
Added
Removed
  • src/GenPoly/ScrubTypeVars.hpp

    r4a89b52 rd787828d  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // ScrubTyVars.h -- Remove polymorphic types.
     7// ScrubTypeVars.hpp -- Remove polymorphic types.
    88//
    99// Author           : Richard C. Bilson
Note: See TracChangeset for help on using the changeset viewer.