Give vector more specific type

[satune.git] / src / AST / boolean.c

diff --git a/src/AST/boolean.c b/src/AST/boolean.c
index 591bfe61ac0a8de6a56c6ef2b6943914f3675349..3ce75e4ad432bc071ebca41adde714877c99656c 100644 (file)
--- a/src/AST/boolean.c
+++ b/src/AST/boolean.c
@@ -23,7 +23,7 @@ Boolean* allocBooleanOrder(Order* order, uint64_t first, uint64_t second) {
        This->order=order;
        This->first=first;
        This->second=second;
-       pushVectorBoolean(&order->constraints, &This->base);
+       pushVectorBooleanOrder(&order->constraints, This);
        initDefVectorBoolean(GETBOOLEANPARENTS(This));
        return & This -> base;
 }