From 412bc792c9eaf766a9c239fdb042cbc69b632958 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 25 Oct 2013 08:10:28 -0700
Subject: [PATCH] fix(style): missing include

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/unification_constraint.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/unification_constraint.h b/src/kernel/unification_constraint.h
index 4d41628a0..d635f541d 100644
--- a/src/kernel/unification_constraint.h
+++ b/src/kernel/unification_constraint.h
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
 */
 #pragma once
 #include <algorithm>
+#include <vector>
 #include "kernel/expr.h"
 #include "kernel/context.h"
 #include "kernel/justification.h"