From 349cbf496921f9731497ed10ea1dc36e7fedcbff Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 21 Aug 2017 14:40:34 -0700
Subject: [PATCH] edit

---
 src/AST/rewriter.c  | 4 ++--
 src/Tuner/tunable.c | 4 ++--
 src/Tuner/tunable.h | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/AST/rewriter.c b/src/AST/rewriter.c
index 7bbbf6d..5e24051 100644
--- a/src/AST/rewriter.c
+++ b/src/AST/rewriter.c
@@ -57,8 +57,8 @@ void replaceBooleanWithBoolean(CSolver * This, Boolean *oldb, Boolean *newb) {
 void handleXORTrue(BooleanLogic *bexpr, Boolean *child) {
 	uint size = getSizeArrayBoolean(&bexpr->inputs);
 	Boolean *b = getArrayBoolean(&bexpr->inputs, 0);
-	uint otherindex = (b == child) ? 1 : 0;
-	removeElementArrayBoolean(&bexpr->inputs, otherindex);
+	uint childindex = (b == child) ? 0 : 1;
+	removeElementArrayBoolean(&bexpr->inputs, childindex);
 	bexpr->op = L_NOT;
 }
 
diff --git a/src/Tuner/tunable.c b/src/Tuner/tunable.c
index 6cd46f9..237b91c 100644
--- a/src/Tuner/tunable.c
+++ b/src/Tuner/tunable.c
@@ -8,9 +8,9 @@ void deleteTuner(Tuner *This) {
 	ourfree(This);
 }
 
-int getTunable(Tuner This, TunableParam param, TunableDesc * descriptor) {
+int getTunable(Tuner *This, TunableParam param, TunableDesc * descriptor) {
 	return descriptor->defaultValue;
 }
-int getVarTunable(Tuner This, VarType vartype, TunableParam param, TunableDesc * descriptor) {
+int getVarTunable(Tuner *This, VarType vartype, TunableParam param, TunableDesc * descriptor) {
 	return descriptor->defaultValue;
 }
diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index 6f091ab..45744b0 100644
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -15,8 +15,8 @@ struct TunableDesc {
 Tuner * allocTuner();
 void deleteTuner(Tuner *This);
 
-int getTunable(Tuner This, TunableParam param, TunableDesc * descriptor);
-int getVarTunable(Tuner This, VarType vartype, TunableParam param, TunableDesc * descriptor);
+int getTunable(Tuner *This, TunableParam param, TunableDesc * descriptor);
+int getVarTunable(Tuner *This, VarType vartype, TunableParam param, TunableDesc * descriptor);
 
 #define GETTUNABLE(This, param, descriptor) getTunable(This, param, descriptor);
 #define GETVARTUNABLE(This, vartype, param, descriptor) getTunable(This, param, descriptor);
-- 
2.34.1