1 files changed, 5 insertions, 6 deletions
diff --git a/examples/nra-translate/normalize.cpp b/examples/nra-translate/normalize.cpp
index 2dd450c4e..d4aecbba9 100644
--- a/examples/nra-translate/normalize.cpp
+++ b/examples/nra-translate/normalize.cpp
@@ -15,20 +15,19 @@
  ** \todo document this file
  **/
 
-#include <string>
+#include <cassert>
 #include <iostream>
+#include <map>
+#include <string>
 #include <typeinfo>
-#include <cassert>
 #include <vector>
-#include <map>
-
 
-#include "options/options.h"
 #include "expr/expr.h"
-#include "expr/command.h"
+#include "options/options.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
 #include "smt/smt_engine.h"
+#include "smt_util/command.h"
 
 using namespace std;
 using namespace CVC4;