From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 18:58:01 +0000 (+0000)
Subject: fix misleading comment in example
X-Git-Tag: cvc5-1.0.0~7691
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0121bbafcfbd2b9a3b940e4fdf3a823a323f11c0;p=cvc5.git

fix misleading comment in example
---

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;