From a8588cb23c5257bb11a70348346476b55317faa3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 2 Feb 2010 20:56:47 +0000
Subject: Switched cnf conversion to go through CnfStream.

---
 src/util/options.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/util/options.h')

diff --git a/src/util/options.h b/src/util/options.h
index 2e696d0db..ff156b595 100644
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -18,7 +18,7 @@
 
 #include <iostream>
 #include "parser/parser.h"
-#include "smt/cnf_conversion.h"
+#include "prop/cnf_conversion.h"
 
 namespace CVC4 {
 
-- 
cgit v1.2.3