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"