From 85ed9b8f177559b0def9753c817239b416c0f29c Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 13 Aug 2015 11:29:30 +0000
Subject: [PATCH] DoubleVector: Document ref/deref

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10513 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/dv/DoubleVector.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/dv/DoubleVector.java b/prism/src/dv/DoubleVector.java
index b8e6483b..85f05120 100644
--- a/prism/src/dv/DoubleVector.java
+++ b/prism/src/dv/DoubleVector.java
@@ -104,6 +104,7 @@ public class DoubleVector
 	
 	/**
 	 * Create a new DoubleVector from an existing MTBDD representation of an array.
+	 * <br>[ DEREFS: <i>none</i> ]
 	 */
 	public DoubleVector(JDDNode dd, JDDVars vars, ODDNode odd)
 	{