From 285392056910aa3c1696345dbfce49525656fbd2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 25 Aug 2017 23:10:32 -0700
Subject: [PATCH] Fix bogus test case

---
 src/Test/ltelemconsttest.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index cf3b557..4828882 100644
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -9,7 +9,7 @@ int main(int numargs, char **argv) {
 	CSolver *solver = new CSolver();
 	uint64_t set1[] = {5};
 	uint64_t set3[] = {1, 3, 4, 6};
-	Set *s1 = solver->createSet(0, set1, 3);
+	Set *s1 = solver->createSet(0, set1, 1);
 	Set *s3 = solver->createSet(0, set3, 4);
 	Element *e1 = solver->getElementConst(4, 5);
 	Element *e2 = solver->getElementVar(s3);
-- 
2.34.1