From c32a95bb132067d5e3b8bb42f4e0cad2bf8741cb Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 19 Aug 2015 08:13:58 -0700
Subject: [PATCH] chore(tests/shared/options): fix compilation warning

---
 src/tests/shared/options.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tests/shared/options.c b/src/tests/shared/options.c
index e5f4cf30c..11e95c295 100644
--- a/src/tests/shared/options.c
+++ b/src/tests/shared/options.c
@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
+#include <string.h>
 #include <stdlib.h>
 #include <stdio.h>
 #include "api/lean.h"