Changeset 0f612d2 for src/ResolvExpr


Ignore:
Timestamp:
May 10, 2024, 5:44:11 PM (8 weeks ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
c778ef1
Parents:
c92bdcc
Message:

Shoot, the non-extension renamings did not get caught in some corners.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/module.mk

    rc92bdcc r0f612d2  
    5252      ResolvExpr/SpecCost.cpp \
    5353      ResolvExpr/SpecCost.hpp \
    54       ResolvExpr/typeops.hpp \
     54      ResolvExpr/Typeops.hpp \
    5555      ResolvExpr/Unify.cpp \
    5656      ResolvExpr/Unify.hpp \
Note: See TracChangeset for help on using the changeset viewer.