diff options
Diffstat (limited to 'type_resolution.h')
| -rw-r--r-- | type_resolution.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/type_resolution.h b/type_resolution.h index 326b241..1d511d0 100644 --- a/type_resolution.h +++ b/type_resolution.h @@ -23,13 +23,13 @@ #include <vector> #include "graph.h" -#include "metrics.h" +#include "runtime.h" #include "unification.h" namespace stg { -void ResolveTypes(Graph& graph, Unification& unification, - const std::vector<Id>& roots, Metrics& metrics); +void ResolveTypes(Runtime& runtime, Graph& graph, Unification& unification, + const std::vector<Id>& roots); } // namespace stg |