From 1b7f9ee4e9210950817047432b6826e0f7234292 Mon Sep 17 00:00:00 2001 From: Alan Lawrence Date: Tue, 3 Dec 2024 12:47:42 +0000 Subject: [PATCH] fix doclink --- hugr-core/src/ops.rs | 2 +- hugr-core/src/ops/dataflow.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/hugr-core/src/ops.rs b/hugr-core/src/ops.rs index ff70fad09..c1f06bace 100644 --- a/hugr-core/src/ops.rs +++ b/hugr-core/src/ops.rs @@ -407,7 +407,7 @@ pub trait OpTrait: Sized { } /// Apply a type-level substitution to this OpType, i.e. replace - /// [type variables](Type::Variable) with new types. + /// [type variables](crate::types::TypeArg::new_var_use) with new types. fn substitute(self, _subst: &Substitution) -> Self { self } diff --git a/hugr-core/src/ops/dataflow.rs b/hugr-core/src/ops/dataflow.rs index 778ac5eb5..98208a53d 100644 --- a/hugr-core/src/ops/dataflow.rs +++ b/hugr-core/src/ops/dataflow.rs @@ -51,7 +51,7 @@ pub trait DataflowOpTrait: Sized { } /// Apply a type-level substitution to this OpType, i.e. replace - /// [type variables](Type::Variable) with new types. + /// [type variables](TypeArg::new_var_use) with new types. fn substitute(self, _subst: &Substitution) -> Self; }