From 04fbb9f9d1fbb1b34b58960fb95921abf9b08140 Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Sat, 2 Jan 2021 17:27:53 -0800 Subject: [PATCH] remove now-unnecessary cast Related to #1874. --- lib/vpsc/csolve_VPSC.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/vpsc/csolve_VPSC.cpp b/lib/vpsc/csolve_VPSC.cpp index 4f2f7cd66..482c16ce0 100644 --- a/lib/vpsc/csolve_VPSC.cpp +++ b/lib/vpsc/csolve_VPSC.cpp @@ -34,7 +34,7 @@ VPSC* newVPSC(int n, Variable* vs[], int m, Constraint* cs[]) { return new VPSC(n,vs,m,cs); } VPSC* newIncVPSC(int n, Variable* vs[], int m, Constraint* cs[]) { - return (VPSC*)new IncVPSC(n,vs,m,cs); + return new IncVPSC(n,vs,m,cs); } int genXConstraints(int n, boxf* bb, Variable** vs, Constraint*** cs,int transitiveClosure) { -- 2.40.0