From 05fbf26dbb1b1f19e3ef76a0d0789806fa7be12c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 14:28:50 +0200
Subject: Adds a verbosity parameter.

---
 cfg-to-paths/src/Path.java | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cfg-to-paths/src')

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);
-- 
cgit v1.2.3-70-g09d2