Merge: Annotation lateinit

[nit.git] / lib / ai / README.md

diff --git a/lib/ai/README.md b/lib/ai/README.md
index 81b016d..fdb2f08 100644 (file)
--- a/lib/ai/README.md
+++ b/lib/ai/README.md
@@ -11,3 +11,4 @@ Contents:
 See the `examples` subdirectory for examples:
 
 * `examples/queens.nit`
+* `examples/puzzle.nit`