| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'cfg-to-paths/src/Path.java')
| -rw-r--r-- | cfg-to-paths/src/Path.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cfg-to-paths/src/Path.java b/cfg-to-paths/src/Path.java index 6015d53..9e0897f 100644 --- a/cfg-to-paths/src/Path.java +++ b/cfg-to-paths/src/Path.java @@ -77,6 +77,8 @@ public class Path this.nodes.add(last_node); } + @SuppressWarnings("unchecked") + /* 'nodes' is an ArrayList<Node>, and so should be its clone. */ private Path add_step (final Node n) { return new Path((ArrayList<Node>) nodes.clone(), n); |