From b5f91dae58691468f6c8f2d7c6aebf639f1d017b Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Tue, 5 Jan 2016 17:28:38 -0800
Subject: Moving sexpr.{cpp,h,i} from expr/ back into util/.

---
 test/system/statistics.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/system')

diff --git a/test/system/statistics.cpp b/test/system/statistics.cpp
index baa901540..884ffb8a6 100644
--- a/test/system/statistics.cpp
+++ b/test/system/statistics.cpp
@@ -19,9 +19,9 @@
 #include <sstream>
 
 #include "expr/expr.h"
-#include "expr/sexpr.h"
 #include "expr/statistics.h"
 #include "smt/smt_engine.h"
+#include "util/sexpr.h"
 
 using namespace CVC4;
 using namespace std;
-- 
cgit v1.2.3