From 99df36f7478de4fccd8e51588a53b390ff19fb80 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 12 Aug 2013 10:47:01 -0700
Subject: [PATCH] Add missing header <numeric> to format.h

---
 src/util/format.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/format.h b/src/util/format.h
index 2eaf4708a..4bc7eae1b 100644
--- a/src/util/format.h
+++ b/src/util/format.h
@@ -9,6 +9,7 @@ Author: Soonho Kong
 #include "debug.h"
 #include <algorithm>
 #include <iostream>
+#include <numeric>
 #include <sstream>
 #include "mpz.h"