Adds a verbosity parameter.

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);