From 4ddc953156490a9393f53892bb53fc170516eecc Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sat, 26 Jun 2021 11:23:45 -0700
Subject: [PATCH] remove unused getSplitCnt

---
 lib/vpsc/csolve_VPSC.cpp | 3 ---
 lib/vpsc/csolve_VPSC.h   | 1 -
 2 files changed, 4 deletions(-)

diff --git a/lib/vpsc/csolve_VPSC.cpp b/lib/vpsc/csolve_VPSC.cpp
index 9c38c0741..f1305bad2 100644
--- a/lib/vpsc/csolve_VPSC.cpp
+++ b/lib/vpsc/csolve_VPSC.cpp
@@ -75,9 +75,6 @@ void satisfyVPSC(VPSC* vpsc) {
 		std::exit(1);
 	}
 }
-int getSplitCnt(IncVPSC *vpsc) {
-	return vpsc->splitCnt;
-}
 void deleteVPSC(VPSC *vpsc) {
 	assert(vpsc!=nullptr);
 	delete vpsc;
diff --git a/lib/vpsc/csolve_VPSC.h b/lib/vpsc/csolve_VPSC.h
index 3b5abcd51..a5deac895 100644
--- a/lib/vpsc/csolve_VPSC.h
+++ b/lib/vpsc/csolve_VPSC.h
@@ -50,7 +50,6 @@ void satisfyVPSC(VPSC*);
 void solveVPSC(VPSC*);
 typedef struct IncVPSC IncVPSC;
 VPSC* newIncVPSC(int n, Variable* vs[], int m, Constraint* cs[]);
-int getSplitCnt(IncVPSC *vpsc);
 #ifdef __cplusplus
 }
 #endif
-- 
2.40.0