Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'tamer/src/ir/asg/graph.rs')
-rw-r--r--tamer/src/ir/asg/graph.rs8
1 files changed, 1 insertions, 7 deletions
diff --git a/tamer/src/ir/asg/graph.rs b/tamer/src/ir/asg/graph.rs
index 451387f..3924ef3 100644
--- a/tamer/src/ir/asg/graph.rs
+++ b/tamer/src/ir/asg/graph.rs
@@ -63,12 +63,6 @@ where
/// otherwise,
/// the existing identifier will be returned.
///
- /// If `src` is omitted,
- /// then an abstract identifier (an _extern_) is declared.
- /// Externs are identifiers that are expected to be defined somewhere
- /// else ("externally"),
- /// and are resolved at [link-time][crate::ld].
- ///
/// If a concrete identifier has already been declared (see
/// [`Asg::declare`]),
/// then extern declarations will be compared and,
@@ -87,7 +81,7 @@ where
&mut self,
name: &'i Symbol<'i>,
kind: IdentKind,
- src: Option<Source<'i>>,
+ src: Source<'i>,
) -> AsgResult<ObjectRef<Ix>, Ix>;
/// Declare an abstract identifier.