remove now-unnecessary cast

Related to #1874.

diff --git a/lib/vpsc/csolve_VPSC.cpp b/lib/vpsc/csolve_VPSC.cpp
index 4f2f7cd664f0769118fe68118b6c69b766389ed0..482c16ce08d06a9fab2f990a2c4f328bef2640ee 100644 (file)
--- 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) {