update README

diff --git a/README.md b/README.md
index 93d7a43cacab9a9aa2bef7d7a954513bad82d9ff..caff6a91f73b74722fb7830a8da45ef847f3672e 100644 (file)
--- a/README.md
+++ b/README.md
@@ -67,7 +67,7 @@ Extend Scryer Prolog to include the following, among other features:
   - [ ] Replacing choice points pivoting on inlined semi-deterministic predicates
         (`atom`, `var`, etc) with if/else ladders. (_in progress_)
   - [ ] Inlining all built-ins and system call instructions.
-  - [ ] Greatly reducing the number of instructions used to compile disjunctives.
+  - [x] Greatly reducing the number of instructions used to compile disjunctives.
   - [ ] Storing short atoms to heap cells without writing them to the atom table.
 - [ ] A compacting garbage collector satisfying the five properties of
       "[Precise Garbage Collection in Prolog](https://www.complang.tuwien.ac.at/ulrich/papers/PDF/2008-ciclops.pdf)." (_in progress_)