From 0121bbafcfbd2b9a3b940e4fdf3a823a323f11c0 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 18:58:01 +0000
Subject: [PATCH] fix misleading comment in example

---
 examples/simple_vc_cxx.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/simple_vc_cxx.cpp b/examples/simple_vc_cxx.cpp
index 92714ebc7..56c5763a2 100644
--- a/examples/simple_vc_cxx.cpp
+++ b/examples/simple_vc_cxx.cpp
@@ -20,7 +20,7 @@
 
 #include <iostream>
 
-//#include <cvc4.h> // use this after CVC4 is properly installed
+//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
 #include "smt/smt_engine.h"
 
 using namespace std;
-- 
2.30.2