From fe4fafd95daa9c8184c9c065c8deae42e5da6513 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 3 Jun 2016 13:07:06 -0700
Subject: [PATCH] chore(library/vm): remove unnecessary includes

---
 src/library/vm/vm_name.cpp | 1 -
 src/library/vm/vm_nat.cpp  | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/library/vm/vm_name.cpp b/src/library/vm/vm_name.cpp
index e1347c1ab7..1c09c07a3a 100644
--- a/src/library/vm/vm_name.cpp
+++ b/src/library/vm/vm_name.cpp
@@ -5,7 +5,6 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include <iostream>
-#include "library/constants.h"
 #include "library/vm/vm.h"
 #include "library/vm/vm_nat.h"
 #include "library/vm/vm_string.h"
diff --git a/src/library/vm/vm_nat.cpp b/src/library/vm/vm_nat.cpp
index 7f4d8bc715..b737b67965 100644
--- a/src/library/vm/vm_nat.cpp
+++ b/src/library/vm/vm_nat.cpp
@@ -5,7 +5,6 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include <iostream>
-#include "library/constants.h"
 #include "library/vm/vm.h"
 #include "library/vm/vm_string.h"