diff options
Diffstat (limited to 'docs/examples/helloworld.rst')
-rw-r--r-- | docs/examples/helloworld.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/examples/helloworld.rst b/docs/examples/helloworld.rst index cdc424dfa..046ab07a0 100644 --- a/docs/examples/helloworld.rst +++ b/docs/examples/helloworld.rst @@ -5,7 +5,7 @@ This example shows the very basic usage of the API. We create a solver, declare a Boolean variable and check whether it is entailed (by ``true``, as nothing has been asserted to the solver). .. api-examples:: - ../../examples/api/cpp/helloworld.cpp - ../../examples/api/java/HelloWorld.java - ../../examples/api/python/helloworld.py - ../../examples/api/smtlib/helloworld.smt2 + <examples>/api/cpp/helloworld.cpp + <examples>/api/java/HelloWorld.java + <examples>/api/python/helloworld.py + <examples>/api/smtlib/helloworld.smt2 |