diff options
Diffstat (limited to 'examples/SimpleVC.rb')
| -rwxr-xr-x[-rw-r--r--] | examples/SimpleVC.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/SimpleVC.rb b/examples/SimpleVC.rb index ef4d82983..36af3c215 100644..100755 --- a/examples/SimpleVC.rb +++ b/examples/SimpleVC.rb @@ -1,4 +1,4 @@ -###################### ## +#! /usr/bin/ruby ##! \file SimpleVC.rb ### \verbatim ### Original author: mdeters @@ -18,8 +18,8 @@ ### ### To run, use something like: ### -### ln -s ../builds/src/bindings/.libs/libcvc4bindings_ruby.so.0.0.0 CVC4.so -### ruby SimpleVC.rb +### ln -s ../builds/src/bindings/ruby/.libs/CVC4.so CVC4.so +### ./SimpleVC.rb #### require 'CVC4' |