7 files changed, 34 insertions, 39 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;
diff --git a/examples/nra-translate/smt2info.cpp b/examples/nra-translate/smt2info.cpp
index a2c12f05d..d59f9f4c4 100644
--- a/examples/nra-translate/smt2info.cpp
+++ b/examples/nra-translate/smt2info.cpp
@@ -15,18 +15,17 @@
  ** \todo document this file
  **/
 
-#include <string>
+#include <cassert>
 #include <iostream>
+#include <string>
 #include <typeinfo>
-#include <cassert>
 #include <vector>
 
-
-#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_util/command.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/examples/nra-translate/smt2todreal.cpp b/examples/nra-translate/smt2todreal.cpp
index 4413c480a..97c5c5d04 100644
--- a/examples/nra-translate/smt2todreal.cpp
+++ b/examples/nra-translate/smt2todreal.cpp
@@ -15,19 +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;
diff --git a/examples/nra-translate/smt2toisat.cpp b/examples/nra-translate/smt2toisat.cpp
index eae77e1ce..9c94cdd43 100644
--- a/examples/nra-translate/smt2toisat.cpp
+++ b/examples/nra-translate/smt2toisat.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;
diff --git a/examples/nra-translate/smt2tomathematica.cpp b/examples/nra-translate/smt2tomathematica.cpp
index 3158243a5..86aaf786f 100644
--- a/examples/nra-translate/smt2tomathematica.cpp
+++ b/examples/nra-translate/smt2tomathematica.cpp
@@ -15,19 +15,18 @@
  ** \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_util/command.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/examples/nra-translate/smt2toqepcad.cpp b/examples/nra-translate/smt2toqepcad.cpp
index cb4855a38..058fa8e0d 100644
--- a/examples/nra-translate/smt2toqepcad.cpp
+++ b/examples/nra-translate/smt2toqepcad.cpp
@@ -15,18 +15,18 @@
  ** \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_util/command.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/examples/nra-translate/smt2toredlog.cpp b/examples/nra-translate/smt2toredlog.cpp
index 71d7229af..1ebd6ea59 100644
--- a/examples/nra-translate/smt2toredlog.cpp
+++ b/examples/nra-translate/smt2toredlog.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;