Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/GenPoly/InstantiateGeneric.cc

    rd3b7937 r63db3d76  
    3131#include "SynTree/TypeSubstitution.h"
    3232
    33 #include "Common/UniqueName.h"
    34 #include "Common/utility.h"
     33#include "UniqueName.h"
     34#include "utility.h"
    3535
    3636namespace GenPoly {
Note: See TracChangeset for help on using the changeset viewer.