1 files changed, 5 insertions, 4 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 785f8909f..c39c14604 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -26,12 +26,13 @@
 #ifndef __CVC4__EXPR__NODE_VALUE_H
 #define __CVC4__EXPR__NODE_VALUE_H
 
-#include "expr/kind.h"
-#include "util/language.h"
-
 #include <stdint.h>
-#include <string>
+
 #include <iterator>
+#include <string>
+
+#include "expr/kind.h"
+#include "options/language.h"
 
 namespace CVC4 {