diff options
Diffstat (limited to 'examples/simple_vc_compat_c.c')
| -rw-r--r-- | examples/simple_vc_compat_c.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/simple_vc_compat_c.c b/examples/simple_vc_compat_c.c index f45df65f5..28ec06054 100644 --- a/examples/simple_vc_compat_c.c +++ b/examples/simple_vc_compat_c.c @@ -21,7 +21,7 @@ #include <stdio.h> #include <stdlib.h> -/* #include <cvc4/compat/c_interface.h> /* use this after CVC4 is properly installed */ +/* #include <cvc4/bindings/compat/c/c_interface.h> /* use this after CVC4 is properly installed */ #include "bindings/compat/c/c_interface.h" int main() { |