edit

diff --git a/src/AST/rewriter.c b/src/AST/rewriter.c
index 7bbbf6d8513035c3667902f06daa51c5b9f88b1d..5e240514930bd2904f2c2e362ee3923d821637eb 100644 (file)
--- 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 6cd46f95679ea70cc9fe796b5d05a90be3f0b01f..237b91c57bf2d850e2dc367c519e16ab6a3c3709 100644 (file)
--- 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 6f091abdeb5974e875951241650eb2281453a531..45744b06d024a13642eb2b930f3d26f7e8cb8966 100644 (file)
--- 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);