From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 31 Aug 2018 18:37:10 +0000 (-0300)
Subject: correct README
X-Git-Tag: v0.8.110~407^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a5a4f71a2a2f6541931a6d816e945aad8853f314;p=scryer-prolog.git

correct README
---

diff --git a/README.md b/README.md
index 5fccf029..30efcf66 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ Extend rusty-wam to include the following, among other features:
 * Built-in control operators (`,`, `;`, `->`, etc.) (_done_).
 * A revised, not-terrible module system (_done, I think_).
 * Built-in predicates for list processing and top-level declarative
-  control (`setup_call_control/3`, `call_with_inference_limit/3`,
+  control (`setup_call_cleanup/3`, `call_with_inference_limit/3`,
   etc.) (_done_)
 * Default representation of strings as list of chars, using a packed
   internal representation (_done_).