squash-merge from proof branch

[cvc5.git] / examples / README

diff --git a/examples/README b/examples/README
index d64ed34697a6eee3b666e4833e44570c3c8f608e..5f5bb09800affcc4f259b0ce5aa759606d4421bd 100644 (file)
--- 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.