removes unsound cases, adds unrolling

[cvc5.git] / examples / simple_vc_compat_cxx.cpp

diff --git a/examples/simple_vc_compat_cxx.cpp b/examples/simple_vc_compat_cxx.cpp
index 9974d3a925b56c95b50f527fee04e2d31f6ba6b4..be6c4cb7a3cd01ff3a269fb32a850338622be172 100644 (file)
--- a/examples/simple_vc_compat_cxx.cpp
+++ b/examples/simple_vc_compat_cxx.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /*! \file simple_vc_compat_cxx.cpp
  ** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.