diff options
| author | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2020-03-26 16:16:51 -0400 |
|---|---|---|
| committer | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2020-03-26 16:16:51 -0400 |
| commit | 7c65d729aad05963313128404ef0e6378151e40a (patch) | |
| tree | 2446cbb68bd576a8c05b8ceed9e372fa05ad948a /tamer/src | |
| parent | d39ec84399b9ef71871779b69d092d60bb98cb9c (diff) | |
| download | tame-7c65d729aad05963313128404ef0e6378151e40a.tar.gz tame-7c65d729aad05963313128404ef0e6378151e40a.tar.bz2 tame-7c65d729aad05963313128404ef0e6378151e40a.zip | |
TAMER: BaseAsg test: Remove fulfilled stub TODO
Diffstat (limited to 'tamer/src')
| -rw-r--r-- | tamer/src/ir/asg/base.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tamer/src/ir/asg/base.rs b/tamer/src/ir/asg/base.rs index cdf3cd5..5e3a2a7 100644 --- a/tamer/src/ir/asg/base.rs +++ b/tamer/src/ir/asg/base.rs @@ -493,7 +493,6 @@ mod test { } } - // TODO: mock IdentObject type Sut<'i> = BaseAsg<StubIdentObject<'i>, u8>; #[test] |