Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/FindOpenVars.h

    rea6332d r6b0b624  
    1616#pragma once
    1717
    18 #include "ResolvExpr/TypeEnvironment.h"  // for AssertionSet, OpenVarSet
    19 
    20 class Type;
     18#include "Unify.h"
     19#include "SynTree/SynTree.h"
    2120
    2221namespace ResolvExpr {
Note: See TracChangeset for help on using the changeset viewer.