diff options
Diffstat (limited to 'examples/README')
-rw-r--r-- | examples/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/README b/examples/README index d64ed3469..5f5bb0980 100644 --- a/examples/README +++ b/examples/README @@ -10,9 +10,9 @@ world" examples, and do not fully demonstrate the interfaces, but function as a starting point to using simple expressions and solving functionality through each library. -*** Targetted examples +*** Targeted examples -The "api" directory contains some more specifically-targetted +The "api" directory contains some more specifically-targeted examples (for bitvectors, for arithmetic, etc.). The "api/java" directory contains the same examples in Java. |