From 6e19a3c418f554f4ac3d326752382fcb4af27acc Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Wed, 2 May 2012 17:34:29 +0000
Subject: [PATCH] fixes to remove compilation warnings. now DOJ works fine with
 the Voronoi.

---
 Robust/src/Benchmarks/oooJava/voronoi/Edge.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Benchmarks/oooJava/voronoi/Edge.java b/Robust/src/Benchmarks/oooJava/voronoi/Edge.java
index 6e574d58..d07b74d2 100644
--- a/Robust/src/Benchmarks/oooJava/voronoi/Edge.java
+++ b/Robust/src/Benchmarks/oooJava/voronoi/Edge.java
@@ -388,9 +388,9 @@ class Edge {
             Vertex v3 = nex.dest();
             Vertex v4 = snex.dest();
             if (v1.ccw(v2, v3) != v1.ccw(v2, v4)) {
-              Vec2 v21 = prev.orig();
-              Vec2 v22 = prev.dest();
-              Vec2 v23 = nex.dest();
+              Vertex v21 = prev.orig();
+              Vertex v22 = prev.dest();
+              Vertex v23 = nex.dest();
               Vec2 vv1 = v21.circle_center(v22, v23);
               v21 = sprev.orig();
               v22 = sprev.dest();
-- 
2.34.1